![Unfoldings (eBook, PDF) Unfoldings (eBook, PDF)](https://bilder.buecher.de/produkte/37/37370/37370845m.jpg)
eBook, PDF
12. März 2008
Springer Berlin
Broschiertes Buch | 74,99 € | |
Gebundenes Buch | 77,99 € |
![Comparative analysis of Stream Processing Systems Comparative analysis of Stream Processing Systems](https://bilder.buecher.de/produkte/56/56994/56994957mq.jpg)
16,99 €
Versandfertig in 6-10 Tagen
![Unfoldings Unfoldings](https://bilder.buecher.de/produkte/32/32058/32058454m.jpg)
Broschiertes Buch
A Partial-Order Approach to Model Checking
Softcover reprint of hardcover 1st ed. 2008
30. November 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-09605-1
![Unfoldings Unfoldings](https://bilder.buecher.de/produkte/23/23323/23323100m.jpg)
Gebundenes Buch
A Partial-Order Approach to Model Checking
2008
27. März 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12118885,978-3-540-77425-9
Ähnliche Artikel
![Carl Adam Petri: Ideas, Personality, Impact (eBook, PDF) Carl Adam Petri: Ideas, Personality, Impact (eBook, PDF)](https://bilder.buecher.de/produkte/56/56886/56886321m.jpg)
eBook, PDF
24. Mai 2019
Springer International Publishing
![Handbook of Weighted Automata (eBook, PDF) Handbook of Weighted Automata (eBook, PDF)](https://bilder.buecher.de/produkte/37/37370/37370678m.jpg)
![Abstraction, Refinement and Proof for Probabilistic Systems (eBook, PDF) Abstraction, Refinement and Proof for Probabilistic Systems (eBook, PDF)](https://bilder.buecher.de/produkte/37/37287/37287114m.jpg)
eBook, PDF
27. Oktober 2005
Springer New York
![A Polynomial Translation of Mobile Ambients into Safe Petri Nets (eBook, PDF) A Polynomial Translation of Mobile Ambients into Safe Petri Nets (eBook, PDF)](https://bilder.buecher.de/produkte/44/44596/44596995m.jpg)
eBook, PDF
22. Januar 2016
Springer Fachmedien Wiesbaden / Springer Fachmedien Wiesbaden GmbH
![Computer Aided Verification (eBook, PDF) Computer Aided Verification (eBook, PDF)](https://bilder.buecher.de/produkte/43/43801/43801155m.jpg)
eBook, PDF
15. Juli 2015
Springer / Springer International Publishing
![Logics in Computer Science (eBook, PDF) Logics in Computer Science (eBook, PDF)](https://bilder.buecher.de/produkte/43/43802/43802371m.jpg)
![Computer Aided Verification (eBook, PDF) Computer Aided Verification (eBook, PDF)](https://bilder.buecher.de/produkte/43/43792/43792080m.jpg)
eBook, PDF
13. Juli 2015
Springer / Springer International Publishing
![Logics of Specification Languages (eBook, PDF) Logics of Specification Languages (eBook, PDF)](https://bilder.buecher.de/produkte/37/37371/37371518m.jpg)
![Game of Life Cellular Automata (eBook, PDF) Game of Life Cellular Automata (eBook, PDF)](https://bilder.buecher.de/produkte/37/37360/37360475m.jpg)
![Application and Theory of Petri Nets and Concurrency (eBook, PDF) Application and Theory of Petri Nets and Concurrency (eBook, PDF)](https://bilder.buecher.de/produkte/44/44230/44230326m.jpg)
eBook, PDF
3. Juni 2015
Springer / Springer International Publishing
Ähnlichkeitssuche: Fact®Finder von OMIKRON