Hardcover Book Paperback Book
显示无货商品

Wojciech Penczek的作品

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)

1st Ed. Softcover of Orig. Ed. 2006 edition

Advances in Verification of Time... (2010)

Wojciech Penczek

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)

Advances in Verification of Time... (2006)

Wojciech Penczek

Cover for Wojciech Penczek · Mathematical Foundations of Computer Science: 21st International Symposium, Mfcs' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings (21th International Symposium, Mfcs '96, Crakow, Poland, September 2-6, 1996 - Proceedings) - Lecture Notes in Compute (Paperback Book) (1996)

Mathematical Foundations of Comp... (1996)

Wojciech Penczek