The Object-Z Specification Language - Advances in Formal Methods 1 (Paperback)Graeme Smith (author)
- We can order this
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. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z.
The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.
Publisher: Springer-Verlag New York Inc.
Number of pages: 146
Weight: 260 g
Dimensions: 235 x 155 x 8 mm
Edition: Softcover reprint of the original 1st ed. 200