![Concurrency Theory Concurrency Theory](https://bilder.buecher.de/produkte/14/14759/14759853m.jpg)
Gebundenes Buch
Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
2006 edition
21. Dezember 2005
Springer, Berlin
Broschiertes Buch | 110,99 € | |
eBook, PDF | 149,79 € |
![Concurrency Theory (eBook, PDF) Concurrency Theory (eBook, PDF)](https://bilder.buecher.de/produkte/37/37350/37350588m.jpg)
![Life Prediction of LENS Materials with Finite Element Analysis Life Prediction of LENS Materials with Finite Element Analysis](https://bilder.buecher.de/produkte/25/25882/25882971m.jpg)
Broschiertes Buch
Application of a Mathematical Plasticity-Damage Model to Predict Life on Monotonic and Cyclic Loading of LENS Manufactured Materials
2009
VDM Verlag Dr. Müller
![Concurrency Theory Concurrency Theory](https://bilder.buecher.de/produkte/32/32208/32208131m.jpg)
Broschiertes Buch
Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Softcover reprint of hardcover 1st ed. 2006
13. Oktober 2010
Springer / Springer London / Springer, Berlin
978-1-84996-951-2
Ähnliche Artikel
![Rigorous Software Development Rigorous Software Development](https://bilder.buecher.de/produkte/30/30842/30842620m.jpg)
Broschiertes Buch
An Introduction to Program Verification
2011
7. Januar 2011
Springer / Springer London / Springer, Berlin
12243228,978-0-85729-017-5
![Adapting Proofs-As-Programs Adapting Proofs-As-Programs](https://bilder.buecher.de/produkte/14/14172/14172801m.jpg)
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6
![The Pillars of Computation Theory The Pillars of Computation Theory](https://bilder.buecher.de/produkte/23/23838/23838770m.jpg)
Broschiertes Buch
State, Encoding, Nondeterminism
2010 edition
11. November 2009
Springer / Springer New York / Springer, Berlin
12241279,978-0-387-09638-4
![NASA Formal Methods NASA Formal Methods](https://bilder.buecher.de/produkte/50/50975/50975240m.jpg)
Broschiertes Buch
10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings
1st ed. 2018
11. März 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-77934-8
![Adapting Proofs-as-Programs Adapting Proofs-as-Programs](https://bilder.buecher.de/produkte/32/32216/32216636m.jpg)
Broschiertes Buch
The Curry--Howard Protocol
Softcover reprint of hardcover 1st ed. 2005
19. November 2010
Springer / Springer New York / Springer, Berlin
978-1-4419-2014-0
![Theoretical Introduction to Programming Theoretical Introduction to Programming](https://bilder.buecher.de/produkte/14/14763/14763038m.jpg)
Broschiertes Buch
2006 edition
25. Oktober 2005
Springer, Berlin
11310457
![Automata Theory and Its Applications Automata Theory and Its Applications](https://bilder.buecher.de/produkte/22/22207/22207656m.jpg)
Gebundenes Buch
2001 edition
8. Juni 2001
Birkhäuser / Birkhäuser Boston / Springer, Basel
978-0-8176-4207-5
![Formal Methods: State of the Art and New Directions Formal Methods: State of the Art and New Directions](https://bilder.buecher.de/produkte/26/26556/26556975m.jpg)
Gebundenes Buch
Repr. d. Ausg. v. 2009
22. Dezember 2009
Springer / Springer London / Springer, Berlin
11778295,978-1-84882-735-6
![Computable Models Computable Models](https://bilder.buecher.de/produkte/32/32940/32940120m.jpg)
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2009
13. Oktober 2010
Springer / Springer London / Springer, Berlin
978-1-84996-818-8
Ähnlichkeitssuche: Fact®Finder von OMIKRON