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
Measurement, Testing and Sensor Technology
$99.99
Satellite Precipitation Measurement
$179.99
Geheimwaffe: Assistenz II
$19.99
IUTAM-IASS Symposium on Deployable Structures: Theory and Applications
$329.99
Market Segmentation
$259.00
Modeling Programming Competency
$179.99
Donald Trump and the Branding of the American Presidency
$49.99
Functional Neuroanatomy
$84.99
Grundbegriffe der Soziologie
$49.99
The Confederate States of America (A True Book: The Civil War)
$5.21
Inside the Mind of the Stakeholder
$109.99
Young Cam Jansen and the Spotted Cat Mystery
$3.71
Developing an Infrastructure for Mobile and Wireless Systems
$39.99
European Cohesion
$109.99
Agglomeration Economies, New Industrial Clusters and Japanese Multinational Firms Location in East
$119.99
Distance, Symmetry, and Topology in Carbon Nanomaterials
$109.99
From Partisan Banking to Open Access
$54.99
Transnational Employment Strain in a Global Health Pandemic
$49.99
The Shifting Global Economic Architecture
$119.99
Conservation of the Biological Diversity as a Prerequisite for Sustainable Development in the Black
$39.99
Programming in Prolog
$79.99
Applied Informatics and Communication, Part III
$109.99
Bruchstcke der Erinnerung eines Sozialwissenschaftlers
$64.99
From Industry 4.0 to Industry 5.0
$249.99
Biomedical Translational Research
$219.99
Social Foundations of Behavior for the Health Sciences
$79.99
Learning and Memory
$54.99
Untersttzung des Managements von Software-Projekten durch eine Erfahrungsdatenbank
$59.99
Functional Imaging and Modeling of the Heart
$39.99
Bodenkologie interdisziplinr
$99.99
Quantifying the Agri-Food Supply Chain
$169.99
Handbuch Umweltethik
$99.99
Advances in Psychology and Law
$169.99
G-Quadruplex Nucleic Acids
$199.99
Booker T. Washington and the Struggle against White Supremacy
$54.99
Comparative Physiology of Fasting, Starvation, and Food Limitation
$169.00
Aspekte der Lyrik
$29.95
Mathematical and Computational Methods for Modelling, Approximation and Simulation
$179.99
Bildgeschehen: Post-strukturalistische Entfaltungen von Husserls Phnomenologie des Bildbewusstseins
$79.99
Changing Forests
$109.99
