Knihu momentálně nemáme skladem

Advances in verification of time Petri nets and timed automata

Autoři

Wojciech Penczek

Více o knize

Presents a comprehensive introduction to timed automata and time Petri nets Presents existing methods of translating time Petri nets to timed automata

Parametry

ISBN: 9783540328698
Nakladatelství: Springer

Kategorie

Počítače, IT, programování
Studies in computational intelligence

Navrhnout úpravu

Varianta knihy

2006

Nákup knihy

Kniha aktuálně není skladem.