Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
ZUM '95: The Z Formal Specification Notation
Best Price (Coupon Required):
Buy ZUM '95: The Z Formal Specification Notation for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.
Reviews
Questions & Answers
Embedded System Technology
$54.99
Medieval Elite Women and the Exercise of Power, 11001400
$159.99
E-Organisation
$84.99
Digitalization of Democratic Processes in Europe
$139.99
Planning and Operation of Active Distribution Networks
$219.99
The Art of Wireless Sensor Networks
$219.99
Multi-Criteria Decision Analysis via Ratio and Difference Judgement
$109.99
Intrapreneurship and Sustainable Human Capital
$109.99
Advances in Dynamics of Vehicles on Roads and Tracks
$329.99
Atmospheric Effects in Space Geodesy
$84.99
Relaxin and Related Peptides
$129.00
Methods in Membrane Biology
$39.99
Projected Dynamical Systems and Variational Inequalities with Applications
$129.00
Energy Dissipators and Hydraulic Jump
$169.99
Culture, Diversity and Mental Health - Enhancing Clinical Practice
$199.99
Hardy Classes on Infinitely Connected Riemann Surfaces
$34.99
From Exclusion to Excellence
$39.99
Metropolitan Landscapes
$159.99
Deutschland, sterreich und die Schweiz. Die politischen Systeme im Vergleich
$59.99
Enterprise Development in South-East Europe
$109.99
Diaphysre und metaphysre Verletzungen im Wachstumsalter
$69.99
Motion History Images for Action Recognition and Understanding
$54.99
Wertorientierte Gestaltung der Unternehmensfhrung
$44.99
Artificial Intelligence and Soft Computing
$54.99
Ultrafast Phenomena in Semiconductors
$129.00
The Romance of King Ali Darma in Javanese Literature
$54.99
Beginning SUSE Linux
$29.99
Enabled Fog Computing in IoT
$179.99
Nitrous Oxide in Pediatric Dentistry
$139.99
Treating Comorbid Opioid Use Disorder in Chronic Pain
$99.99
Die Sicherung des Erbbauzinses bei der Zwangsversteigerung des Erbbaurechts
$44.99
International Handbook of Skill, Education, Learning, and Research Development in Tourism and Hospit
$499.99
In memoriam Wolfgang Jaeger
$69.99
Algorithmic Learning Theory
$39.99
Das Klima
$84.99
Von Krebsen und Kriminellen
$59.99
Breast Cancer Chemosensitivity
$169.99
Finite Element Analysis on Badminton Racket Design Parameters
$54.99
Erfolgskriterien fderaler Transition
$59.99
The Crippled Lamb
$4.46
