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
Financial Institutions and Markets
$39.99
Towards a Post-Apartheid Future
$39.99
Tracking and Sensor Data Fusion
$179.99
Bausteine wissenschaftlicher Weltauffassung
$49.99
Introduction to Engineering Electromagnetics
$129.99
Tiny T. Rex and the Impossible Hug by Jonathan Stutzman
$15.99
Pro InfoPath 2007
$44.99
Migration, Geschlecht und Staatsbrgerschaft
$74.99
Plant Acclimation to Environmental Stress
$169.00
Offshore Structures
$99.99
How Handedness Shapes Lived Experience, Intersectionality, and Inequality
$129.99
Zwischen Taktstock und Hrsaal
$59.99
The Renminbi Rises
$109.99
The Basics of S-PLUS
$84.99
Advances in Low-Level Color Image Processing
$39.99
Data Analytics in System Engineering
$199.99
Brexit and After
$109.00
General Histology of the Mammal
$139.00
Kabinett physikalischer Raritten
$64.99
Ground state properties and excitation spectrum of correlated electron systems
$14.95
Nanoscale Imaging
$249.99
Diagnosis and Treatment of Vestibular Disorders
$139.99
Natural Language Processing and Information Systems
$74.99
Geological and Biological Effects of Impact Events
$84.99
Technologie der Holzverkohlung
$89.99
Cultural Memory, Memorials, and Reparative Writing
$59.99
Bio-inspiring Cyber Security and Cloud Services: Trends and Innovations
$129.00
Ein Leben ohne Kinder
$44.99
Fuzzy Logic Techniques for Autonomous Vehicle Navigation
$169.99
Constitutional Framework of European Labour Law in Italy, France, Germany, Portugal and Spain
$159.99
Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Bod
$54.99
Theorie und Praxis des Mentalen Trainings in der Klavierpdagogik
$74.99
The Leadership Illusion
$55.00
Clinical Cases in Melanoma
$39.99
Modulation of Cellular Responses in Toxicity
$84.99
Africa, the Devastated Continent?
$84.99
Simultaneous Engineering
$34.99
The Globalization ConundrumDark Clouds behind the Silver Lining
$109.99
Open System Architecture for CIM
$74.99
Introduction to Mathematical Logic
$54.99
