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 € |
Gebundenes Buch
Volume 2
1997.
30. Juni 1997
Springer / Springer US / Springer, Berlin
978-0-412-82040-3
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