Erschienen: 23.01.2014 Abbildung von Cohen / Rybalchenko | Verified Software: Theorie, Tools, Experiments | 1. Auflage | 2014 | beck-shop.de

Cohen / Rybalchenko

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

lieferbar (3-5 Tage)

57,78 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als eBook (PDF) für 56.7 €

Fachbuch

Buch. Softcover

2014

xvi, 345 S. 83 s/w-Abbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-642-54107-0

Format (B x L): 15,5 x 23,5 cm

Gewicht: 5504 g

Produktbeschreibung

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.

Top-Produkte dieser Kategorie

Unsere Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autoren

  • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...