Carte 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

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
277.44 lei
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2014
Pagini
345
EAN
9783642541070
ISBN
3642541070
Enbook ID
02433185
Greutate
5504
Dimensiuni
155 x 235 x 20

Descriere completă

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.

S-ar putea să te intereseze

627.32 lei

Wytch Wars

Sharon Anne Guthrie
55.42 lei

Belinda

Maria Edgeworth
61.49 lei

WHERE I NEED TO BE

Kimberly Knight
79.39 lei

The Turtle Ship

Helena Ku Rhee
100.03 lei

Living in Provence

René Stoeltie
117.12 lei
79.59 lei

Learn from Me

Fr Con Buckley
146.76 lei

Kcd Boulet/Animal Spirit

Susan Seddon Boulet
63.82 lei

Heirs of Salvation

Gloria Laura Lavoie
71.20 lei
642.19 lei

Cincinnati Day Trips

Jennifer Renee Reed
105.49 lei

Rome

Franco Archibugi
356.85 lei
109.33 lei
122.58 lei

Clienții care au cumpărat această carte au mai cumpărat și

159.00 lei
72.62 lei
60.07 lei