Könyv Verified Software: Theorie, Tools, Experiments Ernie Cohen

Verified Software: Theorie, Tools, Experiments

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

Nyelv: Angol
Kötés: Puha kötésű
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

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2014
oldal
345
EAN
9783642541070
ISBN
3642541070
Enbook ID
02433185
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

43 648 Ft

Wytch Wars

Sharon Anne Guthrie
3 842 Ft

Belinda

Maria Edgeworth
4 299 Ft

WHERE I NEED TO BE

Kimberly Knight
5 520 Ft

The Turtle Ship

Helena Ku Rhee
6 974 Ft

Living in Provence

René Stoeltie
7 912 Ft
5 538 Ft

Learn from Me

Fr Con Buckley
9 918 Ft

Kcd Boulet/Animal Spirit

Susan Seddon Boulet
4 470 Ft

Heirs of Salvation

Gloria Laura Lavoie
4 937 Ft
44 474 Ft

Cincinnati Day Trips

Jennifer Renee Reed
7 374 Ft

Rome

Franco Archibugi
24 750 Ft
7 643 Ft
8 509 Ft

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