Automated Technology For Verification And Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Pr
7 Angebote vergleichen
Bester Preis: € 4,61 (vom 28.03.2019)1
Automated Technology for Verification a (2016)
DE PB NW
ISBN: 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 NW
ISBN: 3319465198 bzw. 9783319465197, in Deutsch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
Symbolbild
Automated Technology for Verification and Analysis
DE PB NW
ISBN: 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
4
Symbolbild
Automated Technology for Verification and Analysis, 14th Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings (2016)
DE PB NW
ISBN: 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
5
Automated Technology For Verification And Analysis: 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Pr (2016)
DE NW
ISBN: 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
6
Automated Technology for Verification and Analysis (2016)
DE PB NW
ISBN: 9783319465197 bzw. 3319465198, in Deutsch, Springer Shop, Taschenbuch, neu.
Lieferung aus: Mexiko, 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
7
Automated Technology for Verification and Analysis (2016)
DE NW
ISBN: 9783319465197 bzw. 3319465198, in Deutsch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lieferzeit: 11 Tage, 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…