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 International Publishing: Automated Technology for Verification and Analysis (ISBN: 9783319249537) 2015, in Deutsch, Taschenbuch.Nur diese Ausgabe anzeigen…
84%: Herausgeber: Bernd Finkbeiner, Herausgeber: Geguang Pu, Herausgeber: Lijun Zhang: Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Lecture Notes in Computer Science, Band 9364) (ISBN: 9783319249520) Erstausgabe, in Englisch, Band: 9364, Taschenbuch.Nur diese Ausgabe anzeigen…
Automated Technology for Verification and Analysis - 14 Angebote vergleichen
Bester Preis: € 46,74 (vom 24.02.2019)1
Automated Technology for Verification and Analysis (2016)
DE PB NWISBN: 9783319249520 bzw. 3319249525, in Deutsch, 520 Seiten, Springer-Verlag GmbH, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, buchZ AG, [3859792].
Neuware - This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. 01.01.2016, Taschenbuch, Neuware, 236x157x32 mm, 826g, 520, offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung.
Von Händler/Antiquariat, buchZ AG, [3859792].
Neuware - This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. 01.01.2016, Taschenbuch, Neuware, 236x157x32 mm, 826g, 520, offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung.
2
Symbolbild
Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (2015)
DE PB NWISBN: 9783319249520 bzw. 3319249525, in Deutsch, Springer-Verlag Gmbh Nov 2015, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Neuware - This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. 520 pp. Englisch.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
Neuware - This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry. 520 pp. Englisch.
3
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Taschenbuch Book Englisch (2016)
DE PB NWISBN: 9783319249520 bzw. 3319249525, in Deutsch, 520 Seiten, Springer-Verlag GmbH, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, preigu, [5789586].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, preigu, [5789586].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings Taschenbuch Book Englisch (2016)
DE PB NWISBN: 9783319249520 bzw. 3319249525, in Deutsch, 520 Seiten, Springer-Verlag GmbH, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Buchbär, [6122477].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Buchbär, [6122477].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Automated Technology for Verification and Analysis (2015)
DE PB NWISBN: 9783319249537 bzw. 3319249533, in Deutsch, Springer International Publishing, Taschenbuch, neu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
6
Automated Technology for Verification and Analysis (2015)
DE NW EBISBN: 9783319249520 bzw. 3319249525, 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
7
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (2015)
DE NW EB DLISBN: 9783319249537 bzw. 3319249533, in Deutsch, Springer International Publishing, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Versandkostenfrei.
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 (2015)
DE NW EB DLISBN: 9783319249537 bzw. 3319249533, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Deutschland, Lagernd.
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
9
Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (2015)
DE PB NWISBN: 9783319249520 bzw. 3319249525, in Deutsch, Springer-Verlag Gmbh, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkostenfrei.
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 (2015)
DE NW EB DLISBN: 9783319249537 bzw. 3319249533, in Deutsch, neu, E-Book, elektronischer Download.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…