Verified Software: Theorie, Tools, Experiments

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

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

Szerző: Ernie Cohen, Andrey Rybalchenko

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

19 325 Ft

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

Információk a könyvről

Szerző

Ernie Cohen, Andrey Rybalchenko

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2014

oldal

345

EAN

9783642541070

ISBN

3642541070

Enbook ID

02433185

Kiadó

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly

5504

Méretek

155 x 235 x 20

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Verified Software: Theorie, Tools, Experiments

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

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták