Software specification methods

Software specification methods

Saved in:
Bibliographic Details
Other Authors : Habrias Henri (Directeur de publication), Frappier Marc (Directeur de publication)
Format : Book
Language : anglais
Title statement : Software specification methods / edited by Henri Habrias, Marc Frappier
Edition : 2nd edition
Published : London : ISTE , C 2006
Physical Description : 1 vol. (XXV-418 p.)
Online Access : Table des matières
Descripteur d'éditeur
Subjects :
Méthodes formelles (informatique)
Logiciels > Spécifications

Internet

Table des matières
Descripteur d'éditeur

Bib. CRDM (Mathématiques)

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

Bib. IUT de Nantes - Joffre

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