La spécification formelle avec Z
Enregistré dans:
Auteurs principaux : | , , |
---|---|
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 : |
Bib. IUT de Nantes - Carquefou
| Cote | Prêt | Statut |
---|---|---|---|
Site Carquefou | 005.13 Z | Prêt sans prolongation | Disponible |
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 |