Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Dang Van Hung; Mizuhito Ogawa: Automated Technology for Verification and Analysis (ISBN: 9783319024448) 2013, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
32%: Herausgegeben von Van Hung, Dang Ogawa, Mizuhito: Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture . / Programming and Software Engineering) (ISBN: 9783319024431) 2013, in Englisch, Taschenbuch.Nur diese Ausgabe anzeigen…
Automated Technology for Verification and Analysis - 10 Angebote vergleichen
Bester Preis: € 56,20 (vom 28.02.2019)
Automated Technology for Verification and Analysis. 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (2013)
DE PB NWISBN: 9783319024431 bzw. 3319024434, in Deutsch, Springer, Taschenbuch, neu.
9783319024431 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
Automated Technology for Verification and Analysis (2013)
DE PB NWISBN: 9783319024448 bzw. 3319024442, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Automated Technology for Verification and Analysis
DE NW EB DLISBN: 9783319024448 bzw. 3319024442, in Deutsch, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis (2013)
DE NW EB DLISBN: 9783319024448 bzw. 3319024442, in Deutsch, neu, E-Book, elektronischer Download.
Automated Technology for Verification and Analysis (2013)
DE NW EB DLISBN: 9783319024448 bzw. 3319024442, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis (2013)
~EN PB NWISBN: 9783319024431 bzw. 3319024434, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings, Buch, Softcover, 2013.
Automated Technology for Verification and Analysis
DE PB NWISBN: 9783319024431 bzw. 3319024434, in Deutsch, Springer, Berlin Springer International Publishing, Taschenbuch, neu.
buecher.de GmbH & Co. KG, [1].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture . Programming and Software Engineering)
DE PB NWISBN: 9783319024431 bzw. 3319024434, in Deutsch, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Automated Technology for Verification and Analysis (2013)
DE PB NW RPISBN: 9783319024431 bzw. 3319024434, in Deutsch, Springer Sep 2013, Taschenbuch, neu, Nachdruck.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
