Object Orientation in Z

by Susan Stepney and David Cooper

This collection of papers draws together a variety of approaches for adding ob- ject orientation to the Z formal specification language. These papers are not a conference proceedings, but have a... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540197788
• ISBN13: 9783540197782
• Release Date: September 1992
• Publisher: Springer
• Length: 146 Pages
• Weight: 0.57 lbs.
• Dimensions: 0.3" x 6.7" x 9.6"