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
Reforming the Common Agricultural Policy
$54.99
Internet-konomie
$39.99
Transdisciplinary Perspectives on Public Health in Europe
$49.99
Retinopathy of Prematurity
$109.99
Central and East European Migrants' Contributions to Social Protection
$84.99
Regeln fr die Bewertung und Prfung von elektrischen Maschinen (R.E.M. 1923)
$84.99
Operations-Research-Praxis Einsatzformen und Ergebnisse
$69.99
Graphic Chapter Books Collection Grades 4-6
$89.00
Action Learning and its Applications
$84.99
Biotechnology in the generation of biofuels
$199.99
Assessing Fault Model and Test Quality
$109.99
Die Expansion mittelstndischer Handelsbetriebe durch Grozusammenschlsse
$59.99
Phasor Power Electronics
$169.99
Ultrafiltration Membranes and Applications
$84.99
Programmieren in PROLOG
$49.99
Fluid Flow in Discontinuous Rocks
$109.99
Medical Response to Major Incidents and Disasters
$139.99
Enterprise and Organizational Modeling and Simulation
$54.99
Landschaftliche Schnheit
$49.99
Strategisches Account Management
$44.99
Die Naturwissenschaftlichen Grundlagen der Lehre von der Entstehung des Bodens
$59.99
Calciumantagonisten der zweiten Generation
$59.99
Construction Dispute Research Expanded
$199.99
Mass Transport Phenomena in Ceramics
$84.99
Chinese Lexical Semantics
$54.99
Industrial and Technological Applications of Transport in Porous Materials
$84.99
Surgery of the Esophagus and Stomach
$54.99
Zwischen Anpassung und Selbstbehauptung
$64.99
Genetic Resources of Phaseolus Beans
$219.99
Psychotropic Agents
$129.00
Einfhrung in die Technische Chemie
$39.99
Theory and Experiment in Electrocatalysis
$169.00
Banking in Turmoil
$54.99
Biological Systematics: The State of the Art
$219.99
Die "Kind als Schaden"-Rechtsprechung im Verhltnis zu den 218 ff. StGB
$89.99
Introduction to Logic Circuits & Logic Design with VHDL
$69.99
Nations Against the State
$84.99
Beitrag zur Geschichte der Niederlndischen Stempelsteuer Fnftes Kapitel
$54.99
Pattern Recognition and Artificial Intelligence
$169.99
Shakespeare
$39.99
