ADVANCES IN VERIFICATION OF TIME PETRI NETS AND TIMED AUTOMATA - A TEMPORAL LOGIC APPROACH
Favoritar
De: R$ 3.449,44Por: R$ 2.414,61ou de
Preço a vista:R$ 2.414,61
Economia de R$ 1.034,83Calcule o frete:
Para envios internacionais, simule o frete no carrinho de compras.
Calcule o valor do frete e prazo de entrega para a sua região
Sinopse
Ficha Técnica
Especificações
ISBN | 9783540328698 |
---|---|
Pré venda | Não |
Peso | 287g |
Autor para link | PENCZEK WOJCIECH,POLROLA AGATA |
Livro disponível - pronta entrega | Não |
Dimensões | 23 x 16 x 1 |
Tipo item | Livro Importado |
Número de páginas | 257 |
Número da edição | 1ª EDIÇÃO - 2006 |
Código Interno | 627729 |
Código de barras | 9783540328698 |
Acabamento | HARDCOVER |
Autor | PENCZEK, WOJCIECH | POLROLA, AGATA |
Editora | SPRINGER VERLAG * |
Sob encomenda | Sim |