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
Historical Reenactment
$139.99
A Practical Guide to MR-Linac
$139.00
Entropy Measures, Maximum Entropy Principle and Emerging Applications
$219.99
Indicators Relevant to Farm Animal Welfare
$39.99
Functional Equations: History, Applications and Theory
$54.99
Progress in Microemulsions
$169.99
Handbook of the Sociology of Sexualities
$69.99
The License Giver Business Concept of Technological Innovation
$89.99
String Figures as Mathematics?
$84.99
Plant Oils as Fuels
$109.99
Research on Teaching and Learning Probability
$19.99
Rethinking the Market Economy
$54.99
Atlas of Peculiar and Common Testicular and Paratesticular Tumors
$129.00
The Moon (A True Book: Our Universe)
$5.99
Textbook of Coronary Thrombosis and Thrombolysis
$389.00
Cross-Cultural Design
$74.99
Konzeption und Einsatzplanung flexibel automatisierter Montagesysteme
$69.99
Reaction Pathways and Mechanisms in Thermocatalytic Biomass Conversion I
$109.99
Groups of Companies
$249.99
Fraud and Corruption in EU Funding
$49.99
The Emblematic Queen
$54.99
First Differential Measurements of tZq Production and Luminosity Determination Using Z Boson Rates a
$169.99
Neural Information Processing: Research and Development
$129.00
Structure of Liquids
$84.99
Die Pfadfinderinnen in der deutschen Jugendkultur
$64.99
New Directions in Supernatural Horror Literature
$139.99
Explainable Artificial Intelligence Based on Neuro-Fuzzy Modeling with Applications in Finance
$139.00
FPGA EDA
$54.99
Noncommutative Dynamics and E-Semigroups
$109.99
Inhibin, Activin and Follistatin
$39.99
Das Patent- und Markenrecht im System des Verwaltungsrechts
$74.99
Theoretical Foundations of Nonlinear Acoustics
$129.99
Smart Safety Management mit Ariadne SMS
$79.99
Theodore von Krmn
$69.99
De Rham Cohomology of Differential Modules on Algebraic Varieties
$109.99
Die soziale Umwelt des Kindes
$69.99
UniVision 2020
$37.99
Photomorphogenesis in Plants
$74.99
Das Mnchner Trainingsmodell
$49.99
Disciplinary and Interdisciplinary Education in STEM
$179.99
