Verified Software: Theories, Tools and Experiments, 2014 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers Programming and Software Engineering Series
Coordonnateurs : Giannakopoulou Dimitra, Kroening Daniel
Includes supplementary material: sn.pub/extras
Date de parution : 10-2014
Ouvrage de 287 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 50,64 €
Ajouter au panierThèmes de Verified Software: Theories, Tools and Experiments :
Mots-clés :
automatic code generation; benchmarks; collaboration; dynamic analysis; education; formal calculi; formalizing semantics; higher-order logic; hybrid system; model checking; programming language; requirements modeling; software design methods; specification languages; static analysis; theorem proving