search for books and compare prices
By
Graeme Smith
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Bibliographic Detail
Publisher
Springer-Verlag New York Inc
Publication date
November 2, 2012
Pages
160
Binding
Paperback
Edition
Reprint
Book category
Adult Non-Fiction
ISBN-13
9781461374015
ISBN-10
1461374014
Dimensions
0 by 6.10 by 9.25 in.
Original list price
$319.00
Summaries and Reviews
Amazon.com description: Product 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.
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.
Editions
Hardcover
from Kluwer Academic Pub (October 1, 1999)
9780792386841 | details & prices | 146 pages | 6.50 × 9.75 × 0.50 in. | 0.95 lbs | List price $319.00
About: Object-Z is an object-oriented extension of the formal specification language Z.
About: Object-Z is an object-oriented extension of the formal specification language Z.
Paperback
The price comparison is for this edition
Reprint edition from Springer-Verlag New York Inc (November 2, 2012); titled "The Object-Z Specification Language"
9781461374015 | details & prices | 160 pages | List price $319.00
About: Object-Z is an object-oriented extension of the formal specification language Z.
About: Object-Z is an object-oriented extension of the formal specification language Z.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.