Taschenbuch
Versandfertig in 1-2 Wochen
46,00 €

Über Verified Software. Theories, Tools, and Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.

Sprache:
Englisch

ISBN:
9783319723075

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
211

Veröffentlicht:
15 Dezember 2017

Ausgabe:
12017

Abmessungen:
155x235x0 mm.

Gewicht:
454 g.

46,00 € inkl. MwSt.
~~53,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Beschreibung von Verified Software. Theories, Tools, and Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions.

Kund*innenbewertungen von Verified Software. Theories, Tools, and Experiments

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Verified Software. Theories, Tools, and Experiments ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Verified Software. Theories, Tools, and Experiments

Beschreibung von Verified Software. Theories, Tools, and Experiments

Kund*innenbewertungen von Verified Software. Theories, Tools, and Experiments

Willkommen bei den Tales Buchfreunden und -freundinnen