Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

The Object-Z Specification Language

The Object-Z Specification Language

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9780792386841
Condition
New
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.

Available Colors
Available Sizes
1 Offer Price Range: $169.00 - $169.00
BEST PRICE

Single Product Purchase

$169.00
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$169.00 $169.00

$169.00
See Site In stock Visit Store

Similar Products

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