Raamatud Wojciech Penczek
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Wojciech Penczek, Agata Pólrola
-40% koodiga BOOKS
Meie tarnija laos
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Wojciech Penczek, Agata Pólrola
-40% koodiga BOOKS
Meie tarnija laos
Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings
Johan Lilius, Wojciech Penczek
-40% koodiga BOOKS
Meie tarnija laos