Nantilus
Formal specification using Z
Saved in:
| Main Author : | |
|---|---|
| Format : | Book |
| Language : | anglais |
| Title statement : | Formal specification using Z / David Lightfoot |
| Published : |
Basingstoke :
Macmillan
, 1991 |
| Physical Description : | xi, 164 p. |
| Subjects : |
Bib. IUT de Nantes - Joffre
| Location | Call Number | Loan type | Status |
|---|---|---|---|
| Site Joffre | 840-274 | Prêt sans prolongation | Available |
| Site Joffre | 840-273 | Prêt sans prolongation | Available |
| Site Joffre | 840-275 | Prêt sans prolongation | Available |
| Site Joffre | 840-276 | Prêt sans prolongation | Available |