Verified Software: Theorie, Tools, Experiments

Name: Verified Software: Theorie, Tools, Experiments
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642541070
Price: 50.19 EUR
Availability: InStock

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

Autor: Ernie Cohen, Andrey Rybalchenko

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

50.19 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International...

Informácie o knihe

Autor

Ernie Cohen, Andrey Rybalchenko

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2014

Stránok

345

EAN

9783642541070

ISBN

3642541070

Enbook ID

02433185

Vydavateľ

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Hmotnosť

5504

Rozmery

155 x 235 x 20

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Verified Software: Theorie, Tools, Experiments

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

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež