Home >
domains >
www.itee.uq.edu.au
The Object-Z Specification Language
By Graeme Smith; Kluwer Academic Publishers, 2000, ISBN 0792386841. Textbook or reference, fully describes topic: semantics, defines all constructs, type and usage rules, specification guidelines, full syntax. [University of Queensland]
|
Keyword |
Results for
this URL |
Total
searches |