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
A Life Cycle for Clusters?
$54.99
Das surebestndige Email und seine industrielle Anwendung im Apparatebau
$69.99
Primary Retinal Detachment
$69.99
Theory and Applications of Ontology: Computer Applications
$129.00
Proceedings of the 2nd International Conference on Geotechnical Issues in Energy, Infrastructure and
$299.00
CSR und Kirche
$49.99
Beeinflussung im Verkaufsgesprch
$39.99
Romantic Geography
$109.99
Superfoods
$59.99
Disaster Risk Reduction Approaches in Pakistan
$109.99
Megacities
$109.99
Passive Methods as a Solution for Improving Indoor Environments
$109.99
The Birth of Wuthering Heights
$109.99
Wirtschaftsgeologie der Erze
$84.99
Gesundheitsversorgung in Entwicklungslndern
$49.99
Industrial Deployment of System Engineering Methods
$54.99
Pro D3.js
$64.99
Heparin - A Century of Progress
$329.99
Women, Celebrity and Cultures of Ageing
$54.99
Management of Endometrial Cancer
$129.99
Kinematic Modeling, Identification, and Control of Robotic Manipulators
$129.00
Disorders of Blood Pressure Regulation
$279.99
Pro SharePoint 2003 Development Techniques
$49.99
Shakespeare's Hybrid Faith
$54.99
Index and Query Methods in Road Networks
$109.99
Industrial Organization
$59.99
ber ein physikalisches Verfahren zur Bestimmung des Wasserstoffs im ternren Gemisch mit Stickstoff
$59.99
Metamaterial-Based Optical and Radio Frequency Sensing
$169.99
Diagnosis of Aging Skin Diseases
$54.99
Proceedings of the 5th International Asia Conference on Industrial Engineering and Management Innova
$179.00
Offene Grenze Offener Markt
$69.99
Fundamentals of Sustainable Urban Design
$159.99
Rural Families and Work
$109.99
Personalmanagement im Gesundheitsbetrieb
$39.99
Concise Guide to Software Engineering
$49.99
Dependability for Systems with a Partitioned State Space
$54.99
Telling Stories in Book Clubs
$109.99
Mykologie
$59.99
Dynamic Behavior of Materials, Volume 1
$169.99
New Trends in Educational Activity in the Field of Mechanism and Machine Theory
$129.00
