Broschiertes Buch
Softcover reprint of the original 1st ed. 2002
23. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-5395-9
| Gebundenes Buch | 83,99 € |
Gebundenes Buch
2002
30. Juni 2002
Springer / Springer Netherlands / Springer US
978-1-4020-7103-4
Broschiertes Buch
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
2006
8. August 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11817963,978-3-540-37406-0
Ähnliche Artikel
Broschiertes Buch
Formal Methods for Embedded Systems
Softcover reprint of the original 1st ed. 2001
5. November 2012
Springer / Springer US / Springer, Berlin
978-1-4613-5664-6
Gebundenes Buch
Formal Methods for Embedded Systems
Repr. d. Ausg. v. 2000
31. Dezember 2000
Springer / Springer US / Springer, Berlin
978-0-7923-7262-2
Gebundenes Buch
A Verification Case Study
1992.
31. Mai 1992
Springer / Springer US / Springer, Berlin
978-0-7923-9245-3
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
19. Oktober 2010
Springer / Springer Netherlands
978-90-481-7185-9
Gebundenes Buch
2006 edition
5. Juli 2006
Springer / Springer Netherlands
11563778,978-1-4020-4757-2
Gebundenes Buch
1999.
30. Juni 1999
Springer / Springer US / Springer, Berlin
978-0-7923-8560-8
Broschiertes Buch
Softcover reprint of the original 1st ed. 1999
29. Oktober 2012
Springer / Springer US / Springer, Berlin
978-1-4613-7368-1
Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
29. Oktober 2010
Springer / Springer US / Springer, Berlin
978-1-4419-3739-1
Gebundenes Buch
2006 edition
21. Dezember 2005
Springer / Springer US / Springer, Berlin
978-0-387-24411-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON
