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 | 113,95 € |
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
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
Broschiertes Buch
An Introduction to Program Verification
2011
7. Januar 2011
Springer / Springer London / Springer, Berlin
12243228,978-0-85729-017-5
Broschiertes Buch
State, Encoding, Nondeterminism
2010 edition
11. November 2009
Springer / Springer New York / Springer, Berlin
12241279,978-0-387-09638-4
Gebundenes Buch
The Curry--Howard Protocol
2005 edition
21. Juni 2005
Springer / Springer New York / Springer, Berlin
11303336,978-0-387-23759-6
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
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2009
13. Oktober 2010
Springer / Springer London / Springer, Berlin
978-1-84996-818-8
Gebundenes Buch
2009
10. März 2009
Springer / Springer London / Springer, Berlin
12168965,978-1-84882-051-7
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
Broschiertes Buch
2006 edition
25. Oktober 2005
Springer, Berlin
11310457
Gebundenes Buch
Repr. d. Ausg. v. 2009
22. Dezember 2009
Springer / Springer London / Springer, Berlin
11778295,978-1-84882-735-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
