We found 2 results
indigoBooksGraeme Smith

showing 1 - 2 of 2 Results
Paperback

$414.95

$368.71 online

save 11%

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

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