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
Chicken Egg Yolk Antibodies, Production and Application
$119.99
Kompetenzorientiertes Wissensmanagement
$17.99
Highlights of Astronomy
$329.99
Rendezvous mit einem Kunden
$59.99
Erfolgsfaktoren bei der Investitionsmitteleinwerbung von Venture-Capital-Gesellschaften
$79.99
Highly-Distributed Systems
$99.00
War Trauma and English Modernism
$39.99
The Road to Discovery
$109.99
Progress in Botany
$84.99
Catalytically Active Nucleic Acids
$299.99
Einfhrung in die Technische Thermodynamik und in die Grundlagen der chemischen Thermodynamik
$49.99
Applications of Symmetry Methods to Partial Differential Equations
$169.99
Ecophysiology of Desert Birds
$39.99
Teil 1: Konstitution. Allergische Krankheiten. Krankheiten der Knochen, Gelenke und Muskeln. Teil 2:
$59.99
La gran fbrica de palabras
$5.96
Beratungspsychologie
$59.99
Determinanten der Sportrezeption
$79.99
Metal Sites in Proteins and Models
$39.99
Pathology of Transplantation
$89.00
Was Greek Thought Religious?
$39.99
Proceedings of the 6th International Conference on Electrical Engineering and Information Technologi
$219.00
Australia in the Anthropocene
$89.00
Lernen, Motivation und Emotion
$24.99
I'm Possible- A Story of Survival, a Tuba, and the Miracle of a Big Dream by Richard Antoine White
$18.99
Regional Dimensions of Human Development in India and South Africa
$129.00
Software Quality: Higher Software Quality through Zero Waste Development
$44.99
The Forms of Michael Field
$129.99
Analytical Ultracentrifugation VIII
$169.00
Sales Management Control Strategies in Banking
$54.99
Gesprchsfhrung und Beratung in der Therapie
$49.99
Destiny, the Inward Quest, Temporality and Life
$129.00
Code-Based Cryptography
$59.99
Drafting the EU Charter
$54.99
Innovations in Sustainable Mining
$159.99
Knowledge Representation for Agents and Multi-Agent Systems
$39.99
Traumdeutung
$39.99
B2B-Marketing und Vertrieb
$29.99
Vorgespannter Beton
$54.99
Trends in Network and Communications
$39.99
Interpreting Hashtag Politics
$39.99
