Software development with Z : a practical approach to formal methods in software engineering / J. B. Wordsworth
Language: eng - inglesa.Country: GB - United Kingdom of Great Britain & N. Ireland.Publication: Wokingham, UK : Addison-Wesley, cop. 1992Description: XII, 334 p. : il. ; 24 cmISBN: 0-201-62757-4.Series: International computer science seriesSubject - Topical Name: Z (Linguagem de programação) | Software -- Desenvolvimento| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca da FCTUNL Sala azul/Piso 2 | Não Ficção | QA76.73.WOR FCT 29771 (Browse shelf) | 1 | Available | 0015273 |
There are no comments for this item.