Spécification formelle avec B

Spécification formelle avec B

Enregistré dans:
Détails bibliographiques
Auteur principal : Habrias Henri (Auteur)
Autres auteurs : Lafaye Jean-Yves (Collaborateur), Potet Marie-Laure (Collaborateur)
Format : Livre
Langue : français
Titre complet : Spécification formelle avec B / Henri Habrias; avec la collaboration de Jean-Yves Lafaye, Marie-Laure Potet
Publié : Paris : Hermès Science , DL 2001
Lavoisier
Description matérielle : 1 vol. (414 p.)
Collection : Collection Informatique (Paris. 1992)
Sujets :
Rétro-ingénierie (informatique)
Génie logiciel
B (méthode formelle)

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin n.3 004.015 HAB/13366 Empruntable Disponible
Magasin n.3 004.015 HAB/13364 Empruntable Disponible
Rez-de-chaussée, salle 2 004.015 HAB Empruntable Disponible
Rez-de-chaussée, salle 2 004.015 HAB Empruntable Disponible
Rez-de-chaussée, salle 2 004.015 HAB Empruntable Disponible

Bib. CRDM (Mathématiques)

Informations d'exemplaires de Bib. CRDM (Mathématiques)
‌ Cote Prêt Statut
Bibliothèque 68C67 Prêt sans prolongation Disponible
Bibliothèque 68C67 Prêt sans prolongation Disponible

Bib. Centrale Nantes

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

Bib. IUT de Nantes - Joffre

Informations d'exemplaires de Bib. IUT de Nantes - Joffre
‌ Cote Prêt Statut
Site Joffre 840-120 Prêt sans prolongation Disponible