Del 20
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
Inbunden, 2006
1 620 kr
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
AvAgata Polrola,Wojciech Penczek
E-bok
PDF, Engelska, 20071 977 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Del 20
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
Häftad, 2010
1 620 kr
Hoppa över listan
Du kanske också är intresserad av
Del 20
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
Inbunden, 2006
1 620 kr
Del 20
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
Häftad, 2010
1 620 kr
Transactions on Petri Nets and Other Models of Concurrency XIII
Wojciech Penczek, Lars Michael Kristensen, Maciej Koutny
E-bok
2018687 kr
Transactions on Petri Nets and Other Models of Concurrency XII
Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang
Häftad, 2017
561 kr
Mathematical Foundations of Computer Science 1996
Wojciech Penczek, Andrzej Szalas
Häftad, 1996
1 115 kr
Challenging Problems and Solutions in Intelligent Systems
Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny
Inbunden, 2016
1 115 kr
Transactions on Petri Nets and Other Models of Concurrency XII
Mingmin Zhang, Wojciech Penczek, Jetty Kleijn, Maciej Koutny
E-bok
2017708 kr
Transactions on Petri Nets and Other Models of Concurrency XIII
Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek
Häftad, 2018
545 kr
Challenging Problems and Solutions in Intelligent Systems
Guy de Trė, Przemysław Grzegorzewski, Janusz Kacprzyk, Jan W. Owsiński, Wojciech Penczek, Sławomir Zadrożny
Häftad, 2018
1 115 kr