|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 14. |
|
|
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture ... Computer Science / Programming and Software)
von Zhiming Liu und Anders P. Ravn von Springer, Berlin
(Taschenbuch - Oktober 2009) |
|
| Neu kaufen: EUR 66,34
39 Angebote
ab EUR 65,48 |
| Lieferung bis Donnerstag, 26. November: Bestellen Sie innerhalb der nächsten 1 Stunde per Overnight-Express. |
| Kostenlose Lieferung möglich. |
| Englische Bücher: Alle 410 Artikel ansehen |
|
| |
|
|
|
|
|