Nantilus
Formal specification using Z
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Formal specification using Z / David Lightfoot |
| Publié : |
Basingstoke :
Macmillan
, 1991 |
| Description matérielle : | xi, 164 p. |
| Sujets : |
Bib. IUT de Nantes - Joffre
| | Cote | Prêt | Statut |
|---|---|---|---|
| Site Joffre | 840-274 | Prêt sans prolongation | Disponible |
| Site Joffre | 840-273 | Prêt sans prolongation | Disponible |
| Site Joffre | 840-275 | Prêt sans prolongation | Disponible |
| Site Joffre | 840-276 | Prêt sans prolongation | Disponible |