Copied The Object-Z Specification Language
The Object-Z Specification Language
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$169.00 | $169.00 |
|
$152.10 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Towards Industry 5.0
$299.00
Heraus Forderungen Antworten
$59.99
Mechanics Problems in Geodynamics Part II
$49.99
Anders wirtschaften
$49.99
Ungarn in Europa
$49.99
Escherichia coli, a Versatile Pathogen
$169.99
Building Games with Ethereum Smart Contracts
$79.99
Poetische Strukturen der Moderne
$39.99
Milestones and Turning Points in Development Thinking
$39.99
Models, Algorithms, and Technologies for Network Analysis
$169.99
Christian Ideals in British Culture
$54.99
Protein and Amino Acid Metabolism in Cancer Cachexia
$119.99
ISSE 2008 Securing Electronic Business Processes
$54.99
Kampf um Images
$44.99
The Neocortex
$129.00
Die Gasteiner Kurfibel
$54.99
Erlsmodelle in der Games-Branche
$17.99
Clinical Aspects of Microdialysis
$39.99
Governing Metropolitan Transport
$54.99
Supermagnets, Hard Magnetic Materials
$429.00
The Mathematical Structure of the Human Sleep-Wake Cycle
$54.99
Umweltschutzorientierte Fertigungsstrategien
$59.99
Nano-Oncologicals
$169.99
Reversible Crystal Plasticity
$109.99
Transactions on Data Hiding and Multimedia Security VIII
$54.99
Disruptive Innovation und Ambidextrie
$59.99
Biosoziologie
$44.99
Kulinarische Geheimnisse
$34.99
Effective Construction Project Delivery
$129.00
Protein Trafficking in Plant Cells
$129.00
Datenschutzrechtliche Verantwortlichkeit in Blockchain-Systemen
$59.99
Dependence Analysis for Supercomputing
$39.99
Irish Theatre in Transition
$54.99
Trauma, Postmodernism and the Aftermath of World War II
$39.99
Model of Human Occupation (MOHO)
$34.99
Cicero
$59.99
Diagnostik und Therapie sexuell bertragbarer Krankheiten
$59.99
Modeling with an Analog Hardware Description Language
$169.99
Inclusive Human Machine Interaction for India
$54.99
JavaFX 2.0: Introduction by Example
$34.99
