Spécification formelle avec B

Spécification formelle avec B

Saved in:
Bibliographic Details
Main Author : Habrias Henri (Auteur)
Other Authors : Lafaye Jean-Yves (Collaborateur), Potet Marie-Laure (Collaborateur)
Format : Book
Language : français
Title statement : Spécification formelle avec B / Henri Habrias; avec la collaboration de Jean-Yves Lafaye, Marie-Laure Potet
Published : Paris : Hermès Science , DL 2001
Lavoisier
Physical Description : 1 vol. (414 p.)
Series : Collection Informatique (Paris. 1992)
Subjects :
Rétro-ingénierie (informatique)
Génie logiciel
B (méthode formelle)

BU Sciences

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin n.3 004.015 HAB/13366 Empruntable Available
Magasin n.3 004.015 HAB/13364 Empruntable Available
Rez-de-chaussée, salle 2 004.015 HAB Empruntable Available
Rez-de-chaussée, salle 2 004.015 HAB Empruntable Available
Rez-de-chaussée, salle 2 004.015 HAB Empruntable Available

Bib. CRDM (Mathématiques)

Holdings details from Bib. CRDM (Mathématiques)
Location Call Number Loan type Status
Bibliothèque 68C67 Prêt sans prolongation Available
Bibliothèque 68C67 Prêt sans prolongation Available

Bib. Centrale Nantes

Holdings details from Bib. Centrale Nantes
Location Call Number Loan type Status
Bibliothèque 681.3 B02 HAB Empruntable Available

Bib. IUT de Nantes - Joffre

Holdings details from Bib. IUT de Nantes - Joffre
Location Call Number Loan type Status
Site Joffre 840-120 Prêt sans prolongation Available