Wojciech Penczek & Agata Polrola 
Advances in Verification of Time Petri Nets and Timed Automata [PDF ebook] 
A Temporal Logic Approach

Apoio
€166.82
Métodos de Pagamento
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9783540328704 ● Editora Springer Berlin Heidelberg ● Publicado 2007 ● Carregável 6 vezes ● Moeda EUR ● ID 6316782 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

49.474 Ebooks nesta categoria