Software specification methods

Software specification methods

Enregistré dans:
Détails bibliographiques
Autres auteurs : Habrias Henri (Directeur de publication), Frappier Marc (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Software specification methods / edited by Henri Habrias, Marc Frappier
Édition : 2nd edition
Publié : London : ISTE , C 2006
Description matérielle : 1 vol. (XXV-418 p.)
Accès en ligne : Table des matières
Descripteur d'éditeur
Sujets :
Méthodes formelles (informatique)
Logiciels > Spécifications

Internet

Table des matières
Descripteur d'éditeur

Bib. CRDM (Mathématiques)

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

Bib. IUT de Nantes - Joffre

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