Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings . / Programming and Software Engineering)
6 Angebote vergleichen
Preise | 2014 | 2015 | 2016 | 2021 |
---|---|---|---|---|
Schnitt | € 70,70 | € 75,87 | € 68,48 | € 68,48 |
Nachfrage |
1
Symbolbild
Automated Technology for Verification and Analysis. 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (2014)
DE PB NW
ISBN: 9783319119359 bzw. 3319119354, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, GLOS, United Kingdom.
9783319119359 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
9783319119359 Paperback, This listing is a new book, a title currently in-print which we order directly and immediately from the publisher.
2
Symbolbild
Automated Technology for Verification and Analysis (2014)
DE PB NW
ISBN: 9783319119359 bzw. 3319119354, in Deutsch, Springer-Verlag Gmbh Nov 2014, Taschenbuch, neu.
Von Händler/Antiquariat, Buchhandlung - Bides GbR [52676528], Dresden, SA, Germany.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Symbolbild
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (2014)
DE PB NW
ISBN: 9783319119359 bzw. 3319119354, in Deutsch, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, DEV, United Kingdom.
450 pages. 9.30x6.20 inches. In Stock.
450 pages. 9.30x6.20 inches. In Stock.
4
Automated Technology for Verification and Analysis
DE NW
ISBN: 9783319119359 bzw. 3319119354, in Deutsch, neu.
Lieferung aus: Deutschland, Versandkosten, 3319119354.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Symbolbild
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
DE PB NW
ISBN: 9783319119359 bzw. 3319119354, in Deutsch, Springer International Publishing AG, Taschenbuch, neu.
Von Händler/Antiquariat, THE SAINT BOOKSTORE [51194787], Southport, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Automated Technology for Verification and Analysis (2014)
~EN PB NW
ISBN: 9783319119359 bzw. 3319119354, vermutlich in Englisch, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei in der BRD, sofort lieferbar.
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings, Buch, Softcover, 2014.
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings, Buch, Softcover, 2014.
Lade…