Mohlo by se vám také líbit

Více informací o knize Verified Software: Theorie, Tools, Experiments

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 154 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general

• Plný název: Verified Software: Theorie, Tools, Experiments
• Podnázev: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
• Autor: Ernie Cohen, Andrey Rybalchenko
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 345
• EAN: 9783642541070
• ISBN: 3642541070
• ID: 02433185
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 5504 g
• Rozměry: 235 × 155 × 20 mm
• Datum vydání: 23. January 2014

Oblíbené z jiného soudku

---

---

---