Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proce
8 Angebote vergleichen

Preise201720182019
SchnittFr. 64.56 ( 65.81)¹ Fr. 69.29 ( 70.62)¹ Fr. 72.44 ( 73.83)¹
Nachfrage
Bester Preis: Fr. 59.84 ( 60.99)¹ (vom 01.09.2017)
1
9783319681665 - Automated Technology for Verification a

Automated Technology for Verification a (2017)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Taschenbuch, neu.

Fr. 66.51 ( 67.79)¹
versandkostenfrei, unverbindlich
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.
2
9783319681665 - Deepak D'Souza: Gebr. - Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Lect
Deepak D'Souza

Gebr. - Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings (Lect (2017)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Taschenbuch, neu.

Fr. 73.47 ( 74.89)¹
versandkostenfrei, unverbindlich
Lieferung aus: Deutschland, 01-3 Tage.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
9783319681665 - D'Souza, Deepak; Narayan Kumar, K.: Automated Technology for Verification and Analysis
D'Souza, Deepak; Narayan Kumar, K.

Automated Technology for Verification and Analysis (2017)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE NW EB

ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Springer International Publishing, neu, E-Book.

Fr. 74.04 ($ 84.99)¹
versandkostenfrei, unverbindlich
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
4
3319681664 - Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis (2017)

Lieferung erfolgt aus/von: Deutschland DE NW

ISBN: 3319681664 bzw. 9783319681665, in Deutsch, neu.

Fr. 73.57 ( 74.99)¹
versandkostenfrei, unverbindlich
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
9783319681665 - D'Souza: / Narayan Kumar | Automated Technology for Verification and Analysis | Springer GmbH | 2017
D'Souza

/ Narayan Kumar | Automated Technology for Verification and Analysis | Springer GmbH | 2017

Lieferung erfolgt aus/von: Deutschland DE NW

ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Springer-Verlag GmbH, neu.

Fr. 73.47 ( 74.89)¹
versandkostenfrei, unverbindlich
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
9783319681665 - Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis (2017)

Lieferung erfolgt aus/von: Vereinigtes Königreich Grossbritannien und Nordirland DE NW

ISBN: 9783319681665 bzw. 3319681664, in Deutsch, neu.

Fr. 68.58 ( 69.90)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigtes Königreich Grossbritannien und Nordirland, Lieferzeit: 11 Tage.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
7
9783319681665 - Deepak D'Souza: Automated Technology For Verification And Analysis: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017, Proce
Deepak D'Souza

Automated Technology For Verification And Analysis: 15th International Symposium, Atva 2017, Pune, India, October 3-6, 2017, Proce (2017)

Lieferung erfolgt aus/von: Kanada DE NW

ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Springer Nature, neu.

Fr. 75.79 (C$ 116.66)¹
unverbindlich
Lieferung aus: Kanada, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
8
9783319681665 - Deepak D'Souza: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proce
Deepak D'Souza

Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proce (2017)

Lieferung erfolgt aus/von: Vereinigte Staaten von Amerika DE PB NW

ISBN: 9783319681665 bzw. 3319681664, in Deutsch, Springer International Publishing, Taschenbuch, neu.

Fr. 74.04 ($ 84.99)¹
unverbindlich
Lieferung aus: Vereinigte Staaten von Amerika, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…