Fundamental Approaches to Software Engineering, 2013 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Cortellessa Vittorio, Varró Dániel
Up-to-date results in fundamental approaches to software engineering
Fast-track conference proceedings
State-of-the-art research
Date de parution : 02-2013
Ouvrage de 376 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Fundamental Approaches to Software Engineering :
Mots-clés :
QVT-R; choreographies; model checking; model-based synthesis; unit tests