Wonder Club world wonders pyramid logo
×

The Object-Z Specification Language Book

The Object-Z Specification Language
The Object-Z Specification Language, 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 inde, The Object-Z Specification Language has a rating of 2.5 stars
   2 Ratings
X
The Object-Z Specification Language, 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 inde, The Object-Z Specification Language
2.5 out of 5 stars based on 2 reviews
5
0 %
4
0 %
3
50 %
2
50 %
1
0 %
Digital Copy
PDF format
1 available   for $287.57
Original Magazine
Physical Format

Sold Out

  • The Object-Z Specification Language
  • Written by author Graeme Smith
  • Published by Springer-Verlag New York, LLC, December 1999
  • 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 inde
  • 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 inde
Buy Digital  USD$287.57

WonderClub View Cart Button

WonderClub Add to Inventory Button
WonderClub Add to Wishlist Button
WonderClub Add to Collection Button

Book Categories

Authors

Preface. 1. Introduction. 2. Semantic Basis. 3. Syntactic Constructs. 4. Language Definition. 5. Concurrent Systems. 6. Concrete Syntax. Bibliography. Index.


Login

  |  

Complaints

  |  

Blog

  |  

Games

  |  

Digital Media

  |  

Souls

  |  

Obituary

  |  

Contact Us

  |  

FAQ

CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!!

X
WonderClub Home

This item is in your Wish List

The Object-Z Specification Language, 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 inde, The Object-Z Specification Language

X
WonderClub Home

This item is in your Collection

The Object-Z Specification Language, 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 inde, The Object-Z Specification Language

The Object-Z Specification Language

X
WonderClub Home

This Item is in Your Inventory

The Object-Z Specification Language, 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 inde, The Object-Z Specification Language

The Object-Z Specification Language

WonderClub Home

You must be logged in to review the products

E-mail address:

Password: