Exemplaires: 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

Informations d'exemplaires de BU Sciences
‌	Cote	Prêt	Statut
Rez-de-chaussée, salle 2	004.015 BOU	Empruntable	Disponible

Informations d'exemplaires de Bib. Centrale Nantes
‌	Cote	Prêt	Statut
Bibliothèque	681.3 B02 MIS	Empruntable	Disponible