Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence - Wojciech Penczek - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540328698 - 26 de junho de 2006
Caso a capa e o título não sejam correspondentes, considere o título como correto

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence 2006 edition

Wojciech Penczek

Preço
€ 144,49

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 27 de nov - 5 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

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.

257 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 26 de junho de 2006
ISBN13 9783540328698
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 257
Dimensões 210 × 297 × 17 mm   ·   585 g
Idioma Inglês  
Mostrar tudo

Mais por Wojciech Penczek

Ver tudo de Wojciech Penczek ( por exemplo Paperback Book e Hardcover Book )