You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
146 pages • missing pub info (view editions)
ISBN/UID: 9780792386841
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 31 December 1999
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...
Community Reviews
Content Warnings
146 pages • missing pub info (view editions)
ISBN/UID: 9780792386841
Format: Hardcover
Language: English
Publisher: Springer
Edition Pub Date: 31 December 1999
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...
Community Reviews
Content Warnings