We found 2 results
indigoBooksGraeme Smith

Sort By:

Sorted By: Top Matches
Filtered By:
Books
Computers
1 - 2 of 2 Results
Top Matches
Hardcover

|December 31, 1999

$414.95

In stock online

Not available in stores

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…
Paperback

|November 2, 2012

$370.17 online

$414.95

save 10%

In stock online

Not available in stores

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…