Software specification methods : An overview using a case study

Software specification methods : An overview using a case study

Enregistré dans:
Détails bibliographiques
Autres auteurs : Frappier Marc (Éditeur scientifique), Habrias Henri (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Software specification methods : An overview using a case study / Marc Frappier and Henri Habrias, Eds
Publié : London, New York : Springer , cop. 2000
Description matérielle : 1 vol. (XXIII-282 p.)
Collection : Formal approaches to computing and information technology FACIT
Sujets :
Méthodes formelles (informatique)
Logiciels > Spécifications

Bib. IUT de Nantes - Joffre

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