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 |
|
$169.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Geistiges Eigentum: Schutzrecht oder Ausbeutungstitel?
$99.99
The Cultural and Intellectual Rebuilding of France After the Second World War
$54.99
Die Logik des Parasitren
$39.99
Orthomodular Lattices
$84.99
Evolution and Seismic Tools for Stellar Astrophysics
$219.99
Die Schachtfrdermaschinen
$49.99
Service Science
$84.99
Aktive Mikrowellendioden
$69.99
Medizinische und therapeutische Kommunikation
$44.99
Distributed Applications and Interoperable Systems
$39.99
Guide to Cybersecurity in Digital Transformation
$69.99
Selected Papers/Ausgewhlte Schriften
$169.00
Politische Geschichte der Gegenwart
$59.99
Threats to Food and Water Chain Infrastructure
$219.99
The Art of Legislating
$139.99
Circular Economy
$79.99
Transactions on Computational Collective Intelligence X
$54.99
Self-Efficacy, Adaptation, and Adjustment
$169.99
Search Based Software Engineering
$54.99
Substitution Dynamical Systems - Spectral Analysis
$64.99
When Boat People were Resettled, 19751983
$119.99
Twelfth Conference of the International Bar Association
$54.99
Computational Topology in Image Context
$69.99
Essays in Honor of William N. Kinnard, Jr
$109.99
Strukturalistische Prinzipal-Agent-Theorie
$69.99
Basic Principles of Cardiovascular MRI
$159.99
Modeling and Simulation in Science and Mathematics Education
$39.99
Vorlesungen ber Hhere Geometrie
$59.99
Platzierung von Softwarekomponenten auf Mehrkernprozessoren
$49.99
Modeling by Object-Driven Linear Elemental Relations
$169.99
Reise nach London zum Studium der Automobilstraen in London und Umgebung vom 24. bis zum 31. Oktobe
$49.99
Gelenkzerstrung bei entzndlichen rheumatischen Erkrankungen
$69.99
Office Automation
$39.99
Mac OS X Snow Leopard for Power Users
$39.99
Artificial Intelligence and Neural Networks
$54.99
Silencing, Heterochromatin and DNA Double Strand Break Repair
$84.99
Symmetries of Compact Riemann Surfaces
$34.99
Data Fusion: Concepts and Ideas
$84.99
Values at Work
$54.99
