The Object-Z Specification Language
by Graeme Smith
Format: Hardcover
ISBN13: 9780792386841
Hardcover|9780792386841
✨ Featured Offer
Brand New
$183.31
List Price: $219.99
🚚
See all 5 offers from $56.94 FREE standard delivery by: 30 Mar 2026
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 enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.
| ISBN-13 | 9780792386841 |
|---|---|
| ISBN-10 | 0792386841 |
| Weight | 2.01 Pounds |
| Dimensions | 6.14 x 0.44 x 9.21 In |
| List Price | $219.99 |
| Edition | 1st Edition |
| Format | Hardcover |
|---|---|
| Language | English |
| Pages | xiii, 146 pages |
| Publisher | Springer |
| Published On | 1999-12-31 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Salish Sea Books
Bellingham, WA, USA
Good; Hardcover; 1999, Springer-Verlag Publishing; Former library copy with standard library marki...
Free delivery by: 30 Mar 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 30 Mar 2026
Used, Good
Seller details
HaroldsBooks
Corydon, IA, USA
0792386841 Ex-Library Usual ex-library features. The interior is clean and tight. Binding is good....
Free delivery by: 30 Mar 2026
✨ Brand New
Seller details
GridFreed
North Las Vegas, NV, USA
Size: 9x6x0; New. In shrink wrap. Looks like an interesting title!
Free delivery by: 30 Mar 2026
Brand New
Seller details
Alibris
Sparks, NV, USA
Sewn binding. Cloth over boards. 146 p. Contains: Unspecified. Advances in Formal Methods, 1.
Free delivery by: 30 Mar 2026