
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 | 81,99 € | |
eBook, PDF | 73,95 € |

Gebundenes Buch
Formal Methods for Embedded Systems
2001
31. Dezember 2000
Springer / Springer US / Springer, Berlin
978-0-7923-7262-2


Broschiertes Buch
The POLIS Approach
Softcover reprint of the original 1st ed. 1997
28. Januar 2013
Springer / Springer US / Springer, Berlin
978-1-4613-7808-2
Gebundenes Buch | 121,99 € | |
eBook, PDF | 113,95 € |

eBook, PDF
6. Dezember 2012
Springer New York
Ähnliche Artikel

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
2002
30. Juni 2002
Springer / Springer Netherlands / Springer US
978-1-4020-7103-4

Gebundenes Buch
1992.
31. März 1992
Springer / Springer US / Springer, Berlin
978-0-7923-9199-9

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

Gebundenes Buch
15. März 2010
Springer / Springer US / Springer, Berlin
12647309,978-1-4419-1538-2

Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2006
29. Oktober 2010
Springer / Springer US / Springer, Berlin
978-1-4419-3852-7

Gebundenes Buch
2006 edition
13. Januar 2006
Springer / Springer US / Springer, Berlin
11054849,978-0-387-25947-5

Gebundenes Buch
25. Mai 2010
Springer / Springer US / Springer, Berlin
12591923,978-1-4419-5997-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON