Kniha momentálne nie je na sklade
Advances in verification of time Petri nets and timed automata
Autori
Viac o knihe
Presents a comprehensive introduction to timed automata and time Petri nets Presents existing methods of translating time Petri nets to timed automata
Variant knihy
2006Nákup knihy
Akonáhle sa objaví, pošleme vám e-mail.