Visit our Christmas Gift Finder
The Object-Z Specification Language - Advances in Formal Methods 1 (Paperback)
  • The Object-Z Specification Language - Advances in Formal Methods 1 (Paperback)

The Object-Z Specification Language - Advances in Formal Methods 1 (Paperback)

Paperback 146 Pages / Published: 02/11/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461374015
Number of pages: 146
Weight: 260 g
Dimensions: 235 x 155 x 8 mm
Edition: Softcover reprint of the original 1st ed. 200

You may also be interested in...

Learn You A Haskell For Great Good
Added to basket
Coders at Work
Added to basket
The New Statistics with R
Added to basket
Think Like A Programmer
Added to basket
Scratch Programming in Easy Steps
Added to basket
Machine Learning with R
Added to basket
Learn To Program With Scratch
Added to basket

Please sign in to write a review

Your review has been submitted successfully.