Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proce
8 Angebote vergleichen
Preise | 2017 | 2018 | 2019 |
---|---|---|---|
Schnitt | € 65,81 | € 70,62 | € 73,83 |
Nachfrage |
1
Automated Technology for Verification a (2017)
DE PB NW
ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Taschenbuch, neu.
Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
Erscheinungsdatum: 19.10.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Automated Technology for Verification and Analysis, Titelzusatz: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Redaktion: D'Souza, Deepak // Narayan Kumar, K., Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informationstechnologie // IT // Technologie // Programmieren // Allgemeines // Compiler // Übersetzer // Programmiersprachen // Mathematik // Informatik // Computer // Elektronik // Elektroniker // Regelungstechnik // Intelligenz // Künstliche Intelligenz // KI // AI // COMPUTERS // Software Development & Engineering // General // Informationstechnik // allgemeine Themen // Programmiertechniken // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Computernetzwerke und maschinelle Kommunikation // Theoretische Informatik, Rubrik: Informatik, Seiten: 482, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 10482), Informationen: Book, Gewicht: 788 gr, Verkäufer: averdo.
Erscheinungsdatum: 19.10.2017, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Automated Technology for Verification and Analysis, Titelzusatz: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Redaktion: D'Souza, Deepak // Narayan Kumar, K., Verlag: Springer-Verlag GmbH // Springer International Publishing, Sprache: Englisch, Schlagworte: EDV // Theorie // Software-Entw // Software Engineering // Informationstechnologie // IT // Technologie // Programmieren // Allgemeines // Compiler // Übersetzer // Programmiersprachen // Mathematik // Informatik // Computer // Elektronik // Elektroniker // Regelungstechnik // Intelligenz // Künstliche Intelligenz // KI // AI // COMPUTERS // Software Development & Engineering // General // Informationstechnik // allgemeine Themen // Programmiertechniken // Compiler und Übersetzer // Programmier // und Skriptsprachen // allgemein // Computernetzwerke und maschinelle Kommunikation // Theoretische Informatik, Rubrik: Informatik, Seiten: 482, Abbildungen: Bibliographie, Reihe: Lecture Notes in Computer Science (Nr. 10482), Informationen: Book, Gewicht: 788 gr, Verkäufer: averdo.
2
Gebr. - Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Lect (2017)
DE PB NW
ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Taschenbuch, neu.
Lieferung aus: Deutschland, 01-3 Tage.
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
Automated Technology for Verification and Analysis (2017)
DE NW EB
ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Springer International Publishing, neu, E-Book.
Lieferung aus: Vereinigte Staaten von Amerika, E-Book zum download.
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
Automated Technology for Verification and Analysis (2017)
DE NW
ISBN: 3319681664 bzw. 9783319681665, in Deutsch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
/ Narayan Kumar | Automated Technology for Verification and Analysis | Springer GmbH | 2017
DE NW
ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Springer-Verlag GmbH, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Automated Technology for Verification and Analysis (2017)
DE NW
ISBN: 9783319681665 bzw. 3319681664, in Deutsch, neu.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Lieferzeit: 11 Tage.
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: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017, Proce (2017)
DE NW
ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Springer Nature, 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
8
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proce (2017)
DE PB NW
ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, 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…