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
Betriebswirtschaftliche Steuerlehre
$74.99
Gastrointestinal Stromal Tumor
$99.00
Algebra VII
$109.99
Semantic Perception Theory
$109.99
Strkung der Lernkultur in Unternehmen
$64.99
Cranial Meningiomas
$109.99
Detect and Deter: Can Countries Verify the Nuclear Test Ban?
$84.99
Logic, Language, and Security
$64.99
LISP Lore: A Guide to Programming the LISP Machine
$169.00
Leadership in Healthcare
$139.99
Doa Esmeralda, Who Ate Everything (Hardcover)
$14.24
Nonlinear Spectroscopy of Solids
$169.00
Poultry Meat and Egg Production
$84.99
Das Kalkbrennen im Schachtofen mit Mischfeuerung
$44.99
Concise Catalog of Deep-sky Objects
$44.99
Bin ich etwas Besonderes?
$24.99
Relational and XML Data Exchange
$19.99
(Un)Komische Wirklichkeiten
$59.99
Politik der Verhltnisse - Politik des Verhaltens
$19.99
An Introduction to Place-Based Development Economics and Policy
$54.99
From Electrons to Elephants and Elections
$119.99
Fachkunde fr Bauzeichner
$54.99
Teaching Transcultural Care
$39.99
Trade Credit and Temporary Employment
$54.99
Infrastructure for Electronic Business on the Internet
$129.00
Attachment-Informed Parent Coaching
$129.99
Coaching for Innovation
$39.99
Networked Control Under Communication Constraints
$109.00
Hello Reader! Level 1: Autumn Leaves Are Falling
$2.99
The Bureaucratic Labor Market
$219.99
Graph Transformation
$39.99
Clinical Autonomic and Mitochondrial Disorders
$79.99
IT-Revision, IT-Audit und IT-Compliance
$59.99
Das Neue in der Hochschullehre
$59.99
Rechenmethoden fr Studierende der Physik im ersten Jahr
$39.99
White Noise Calculus and Fock Space
$29.99
Desserts Around the World (Around the World)
$21.00
Social Capital and Health Inequality in European Welfare States
$54.99
Mathematik
$49.99
Chaos, Resonance and Collective Dynamical Phenomena in the Solar System
$169.99
