Title:
Formal specification and documentation using Z : a case study approach
Personal Author:
Publication Information:
London : International Thomson Publishing, 1996
ISBN:
9781850322306
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000004557546 | QA76.73.Z2 B68 1996 | Open Access Book | Book | Searching... |
Searching... | 30000004557496 | QA76.73.Z2 B68 1996 | Open Access Book | Book | Searching... |
Searching... | 30000004557413 | QA76.73.Z2 B68 1996 | Open Access Book | Book | Searching... |
Searching... | 30000004557454 | QA76.73.Z2 B68 1996 | Open Access Book | Book | Searching... |
Searching... | 30000004557504 | QA76.73.Z2 B68 1996 | Open Access Book | Book | Searching... |