Exemplaires: La spécification formelle avec Z

Enregistré dans:

Détails bibliographiques
Auteurs principaux :	Lightfoot David (Auteur), Habrias Henri (Traducteur), Delpech Pierre-Marie (Traducteur)
Format :	Livre
Langue :	français
Titre complet :	La spécification formelle avec Z / David Lightfoot; trad. par Henri Habrias et Pierre-Marie Delpech
Publié :	Toulouse : Teknéa , 1994 31-L'Union : Impr. Paragraphic
Description matérielle :	1 vol. (XIII-191 p.)
Traduction de :	Formal specification using Z
Sujets :	Langages de programmation > Modèles mathématiques Systèmes informatiques Z (méthode formelle)

Informations d'exemplaires de Bib. IUT de Nantes - Carquefou
‌	Cote	Prêt	Statut
Site Carquefou	005.13 Z	Prêt sans prolongation	Disponible

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