All Formats & Editions
1 - 2 of 2 results found
The Object-Z Specification Language
By Graeme Smith
Edition Description
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which...
Edition Details
Format:Hardcover
Language:English
ISBN:0792386841
Format: Hardcover
Condition:
$
219.99
The Object-Z Specification Language
By Graeme Smith
Edition Description
Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which...
Edition Details
Format:Paperback
Language:English
ISBN:1461374014
Format: Paperback
Condition:
$
219.99
Copyright © 2026 Thriftbooks.com Terms of Use
| Privacy Policy | Do Not
Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
