FM 2012: Formal Methods, 2012 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings Programming and Software Engineering Series
Coordonnateurs : Giannakopoulou Dimitra, Mery Dominique
Up to date results
Fast-track conference proceedings
State of the art research
Date de parution : 07-2012
Ouvrage de 488 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de FM 2012: Formal Methods :
Mots-clés :
algorithms; automata; automated verification; model checking; software development