The Object-Z Specification Language

by Graeme Smith

Book Overview

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1461374014
• ISBN13: 9781461374015
• Release Date: November 2012
• Publisher: Springer
• Length: 146 Pages
• Weight: 0.53 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"