The Object-Z Specification Language

By:

Graeme Smith

Format:

Paperback / softback

Series:

Advances in Formal Methods

Show Hide Adult Content

$572.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $143.00 with Afterpay Learn more

6 weekly interest-free payments of $95.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 12-24 June using International Courier

Description

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.

Release date NZ

November 2nd, 2012

Author

Graeme Smith

Audience

Professional & Vocational

Illustrations

XIII, 146 p.

Pages

146

Series

Advances in Formal Methods

Dimensions

156x234x8

ISBN-13

9781461374015

Product ID

21280919

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here