Mise en oeuvre de la méthode B

Mise en oeuvre de la méthode B

Enregistré dans:
Détails bibliographiques
Autres auteurs : Boulanger Jean-Louis (Directeur de publication)
Format : Livre
Langue : français
Titre complet : Mise en oeuvre de la méthode B / sous la direction de Jean-Louis Boulanger
Publié : Paris : Hermès science , DL 2013, cop. 2013
Lavoisier
Description matérielle : 1 vol. (420 p.)
Collection : Informatique et systèmes d'information. Recherche, technologie, applications
Sujets :
B (méthode formelle)
Méthodes formelles (informatique) > Applications industrielles
Génie logiciel
Description
Bibliographie : Références bibliogr.en fin de chapitres. Index. Glossaire
ISBN : 978-2-7462-3810-7