Von dem Buch Automated Technology for Verification and Analysis haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
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%: Springer: Automated Technology for Verification and Analysis (ISBN: 9783319465203) 2016, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
80%: Cyrille Artho: Automated Technology For Verification And Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Pr (ISBN: 9783319465197) 2016, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
Automated Technology for Verification and Analysis - 15 Angebote vergleichen
Bester Preis: € 3,67 (vom 13.03.2019)1
Automated Technology for Verification a (2016)
DE PB NWISBN: 9783319465197 bzw. 3319465198, in Deutsch, Taschenbuch, neu.
Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
Erscheinungsdatum: 21.10.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Automated Technology for Verification and Analysis, Titelzusatz: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, Redaktion: Artho, Cyrille // Legay, Axel // Peled, Doron, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Programmiersprachen // Roboter // Robotik // Industrieroboter // Compiler // Übersetzer // Mathematik // Informatik // Computer // COMPUTERS // Software Development & Engineering // General // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 530, Abbildungen: 102 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 9938), Informationen: Book, Gewicht: 835 gr, Verkäufer: averdo.
Erscheinungsdatum: 21.10.2016, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Automated Technology for Verification and Analysis, Titelzusatz: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings, Redaktion: Artho, Cyrille // Legay, Axel // Peled, Doron, Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Intelligenz // Künstliche Intelligenz // KI // AI // Programmiersprachen // Roboter // Robotik // Industrieroboter // Compiler // Übersetzer // Mathematik // Informatik // Computer // COMPUTERS // Software Development & Engineering // General // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Theoretische Informatik // Rechnerarchitektur und Logik-Entwurf, Rubrik: Informatik, Seiten: 530, Abbildungen: 102 schwarz-weiße Abbildungen, Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 9938), Informationen: Book, Gewicht: 835 gr, Verkäufer: averdo.
2
Automated Technology for Verification and Analysis (2016)
DE PB NWISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Automated Technology for Verification and Analysis, 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (2016)
DE NW EBISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer, neu, E-Book.
Lieferung aus: Niederlande, Direct beschikbaar.
bol.com.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
bol.com.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Automated Technology for Verification and Analysis (2016)
DE NWISBN: 3319465198 bzw. 9783319465197, in Deutsch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Automated Technology for Verification and Analysis (2016)
DE NW EBISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer, neu, E-Book.
Lieferung aus: Schweiz, Sofort per Download lieferbar.
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 (2016)
DE NW EBISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer, neu, E-Book.
Lieferung aus: Deutschland, Sofort per Download lieferbar.
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
7
Symbolbild
Automated Technology for Verification and Analysis
DE PB NWISBN: 9783319465197 bzw. 3319465198, in Deutsch, Springer, Taschenbuch, neu.
Lieferung aus: Schweiz, Versandfertig innert 3 Wochen.
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
8
Symbolbild
Automated Technology for Verification and Analysis, 14th Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (2016)
DE PB NWISBN: 9783319465197 bzw. 3319465198, in Deutsch, Springer International Publishing AG, Taschenbuch, neu.
Lieferung aus: Niederlande, Nog niet verschenen - reserveer een exemplaar.
bol.com.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
bol.com.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
9
Automated Technology for Verification and Analysis (2016)
DE NW EB DLISBN: 9783319465203 bzw. 3319465201, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.
Lieferung aus: Australien, in-stock.
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
10
Automated Technology For Verification And Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Pr (2016)
DE NWISBN: 9783319465197 bzw. 3319465198, in Deutsch, Springer-Verlag/Sci-Tech/Trade, neu.
Lieferung aus: Kanada, Lagernd, zzgl. Versandkosten.
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
Lade…