Wojciech Penczek - Böcker

Visar alla böcker från författaren Wojciech Penczek.
8 produkter
Wojciech Penczek, Agata Pólrola - Advances in Verification of Time Petri Nets and Timed Automata, Inbunden

Inbunden, Engelska, 2006

2 099 kr

Skickas inom 10-15 vardagar
Wojciech Penczek, Andrzej Szalas - Mathematical Foundations of Computer Science 1996, Häftad

Häftad, Engelska, 1996

1 409 kr

Skickas inom 10-15 vardagar
Wojciech Penczek, Agata Pólrola - Advances in Verification of Time Petri Nets and Timed Automata, Häftad

Häftad, Engelska, 2010

2 099 kr

Skickas inom 10-15 vardagar
Johan Lilius, Wojciech Penczek - Applications and Theory of Petri Nets, Häftad

Häftad, Engelska, 2010

739 kr

Skickas inom 10-15 vardagar
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang - Transactions on Petri Nets and Other Models of Concurrency XII, Häftad

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek - Transactions on Petri Nets and Other Models of Concurrency XIII, Häftad

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar