Tallenna
The Object-Z Specification Language
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax.
- Kirjailija
- Graeme Smith
- Painos
- Softcover reprint of the original 1st ed. 2000
- ISBN
- 9781461374015
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 2.11.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 146
