Taschenbuch
Versandfertig in 1-2 Wochen
48,00 €

Über Verified Software: Theories, Tools and Experiments

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.

Sprache:
Englisch

ISBN:
9783319121536

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
287

Veröffentlicht:
28. Oktober 2014

Ausgabe:
2014

Abmessungen:
155x235x16 mm.

Gewicht:
4569 g.

48,00 € inkl. MwSt.
~~51,36 €~~ 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 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.

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