Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected ... / Programming and Software Engineering)

0 durchschnittliche Bewertung
( 0 Bewertungen bei Goodreads )
9783642541070: Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected ... / Programming and Software Engineering)
Reseña del editor:

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Neu kaufen Angebot ansehen

Versand: EUR 29,50
Von Deutschland nach USA

Versandziele, Kosten & Dauer

In den Warenkorb

Beste Suchergebnisse beim ZVAB

1.

Ernie Cohen
Verlag: Springer Jan 2014 (2014)
ISBN 10: 3642541070 ISBN 13: 9783642541070
Neu Taschenbuch Anzahl: 2
Anbieter
AHA-BUCH GmbH
(Einbeck, Deutschland)
Bewertung
[?]

Buchbeschreibung Springer Jan 2014, 2014. Taschenbuch. Buchzustand: Neu. 235x155x19 mm. Neuware - This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments. 364 pp. Englisch. Artikel-Nr. 9783642541070

Weitere Informationen zu diesem Verkäufer | Frage an den Anbieter

Neu kaufen
EUR 57,78
Währung umrechnen

In den Warenkorb

Versand: EUR 29,50
Von Deutschland nach USA
Versandziele, Kosten & Dauer