Nantilus
Z : an introduction to formal methods
Saved in:
| Main Author : | |
|---|---|
| Format : | Book |
| Language : | anglais |
| Title statement : | Z : an introduction to formal methods / Antoni Diller |
| Published : |
Chichester [England], New York :
J. Wiley
, cop. 1990 |
| Physical Description : | 1 vol. (XXI-309 p.) |
| Subjects : |
Bib. IUT de Nantes - Joffre
| Location | Call Number | Loan type | Status |
|---|---|---|---|
| Site Joffre | 810-57 | Prêt sans prolongation | Available |