Todos los 3 Wojciech Penczek lanzamientos en Paperba... Book
Categorías
Otros
Atención al cliente
USD
![Cover for Wojciech Penczek · Advances in Verification of Time Petri Nets and Timed Automata: a Temporal Logic Approach - Studies in Computational Intelligence (Paperback Book) [1st Ed. Softcover of Orig. Ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/420/9783642069420.jpg?wojciech-penczek-2010-advances-in-verification-of-time-petri-nets-and-timed-automata-a-temporal-logic-approach-studies-in-computational-intelligence-paperback-book&class=scaled&v=1408465096)
![Cover for Wojciech Penczek · Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach - Studies in Computational Intelligence (Hardcover Book) [2006 edition] (2006)](https://imusic.b-cdn.net/images/item/original/698/9783540328698.jpg?wojciech-penczek-2006-advances-in-verification-of-time-petri-nets-and-timed-automata-a-temporal-logic-approach-studies-in-computational-intelligence-hardcover-book&class=scaled&v=1441583897)
