Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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.
Similar content being viewed by others
Keywords
Table of contents (6 chapters)
Authors and Affiliations
Bibliographic Information
Book Title: The Object-Z Specification Language
Authors: Graeme Smith
Series Title: Advances in Formal Methods
DOI: https://doi.org/10.1007/978-1-4615-5265-9
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2000
Hardcover ISBN: 978-0-7923-8684-1Published: 31 December 1999
Softcover ISBN: 978-1-4613-7401-5Published: 02 November 2012
eBook ISBN: 978-1-4615-5265-9Published: 06 December 2012
Series ISSN: 1567-7338
Edition Number: 1
Number of Pages: XIII, 146
Topics: Artificial Intelligence, Programming Languages, Compilers, Interpreters, Software Engineering/Programming and Operating Systems, Computer Science, general