Conte aos seus amigos sobre este item:
Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence Wojciech Penczek 1st Ed. Softcover of Orig. Ed. 2006 edition
Preço
₪ 517
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 9 - 15 de dez
Presentes de Natal podem ser trocados até 31 de janeiro
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Também disponível como:
Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence
Wojciech Penczek
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets.
257 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 25 de novembro de 2010 |
| ISBN13 | 9783642069420 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 257 |
| Dimensões | 156 × 234 × 15 mm · 412 g |
| Idioma | Inglês |
Mostrar tudo
Mais por Wojciech Penczek
Ver tudo de Wojciech Penczek ( por exemplo Paperback Book e Hardcover Book )