Taschenbuch
Sofort lieferbar
54,00 €

Über Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions.

Sprache:
Englisch

ISBN:
9783319681665

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
482

Veröffentlicht:
4. Oktober 2017

Ausgabe:
12017

Abmessungen:
155x235x0 mm.

Gewicht:
7548 g.

54,00 € inkl. MwSt.
~~54,00 €~~ UVP

Versandkostenfrei

Sofort lieferbar

Beschreibung von Automated Technology for Verification and Analysis

This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions.

Kund*innenbewertungen von Automated Technology for Verification and Analysis

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Automated Technology for Verification and Analysis ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Automated Technology for Verification and Analysis

Beschreibung von Automated Technology for Verification and Analysis

Kund*innenbewertungen von Automated Technology for Verification and Analysis

Willkommen bei den Tales Buchfreunden und -freundinnen