Software Engineering and Formal Methods, 2013 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings Programming and Software Engineering Series
Coordonnateurs : Hierons Robert M., Merayo Mercedes G., Bravetti Mario
![Couverture de l’ouvrage Software Engineering and Formal Methods](https://images.lavoisier.fr/couvertures/1316307987.jpg)
Conference proceedings of the International Conference on Software Engineering and Formal Methods, SEFM 2013
Date de parution : 09-2013
Ouvrage de 321 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Software Engineering and Formal Methods :
Mots-clés :
model-checking; ontology; requirements engineering; temporal logic; verification