AddALL.com - The Object-Z Specification Language (Advances in Formal Methods) 0792386841 9780792386841

Don't forget to bookmark this web site !!

Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

Find more info., search and price compare for
The Object-Z Specification Language (Advances in Formal Methods)
by Graeme Smith
Binding: Hardcover, 1 edition, 160 pages
Publisher: Springer
Weight: 0.96 pound
Dimension: H: 0.55 x L: 9.58 x W: 6.44 inches
ISBN 10: 0792386841
ISBN 13: 9780792386841
Click here to search for this book and compare price at 40+ bookstores with AddALL.com!

If you cannot find this book in our new and in print search, be sure to try our used and out of print search too!

Book 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.

Shipping Destination:
State: (US only)
Display in:
Search by:


Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]