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:
Buy ZUM '95: The Z Formal Specification Notation for $84.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$84.99 | 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
Gesellschaftlicher Zusammenhalt im und durch Sport
$59.99
National Geographic Kids: Baby Mammoth Mummy Frozen in Time!
$5.21
Aging and Lung Disease
$89.00
System Analysis and Modeling: About Models
$39.99
Selected Studies in Environmental Geosciences and Hydrogeosciences
$229.00
Interaktionen zwischen Anbietern und Nachfragern bei der Vermarktung und Beschaffung innovativer Die
$79.99
Rationalittsdefizite im Handeln von Controllern
$69.99
Achievement Motivation
$169.99
Strategic Culture Hacks
$64.99
Future Perspectives on International Criminal Justice
$249.99
Noncommutative Structures in Mathematics and Physics
$109.99
Arbeiten im virtuellen Zeitalter
$59.99
Merchants, Market and Monarchy
$129.99
Grab and Go Pack Theme 4: Foundational Skills Grade 7
$29.95
Cannabis Laboratory Fundamentals
$49.99
Big Data in the GovTech System
$179.99
Sterne und Sternhaufen
$84.99
Cities of the Future
$249.99
Jasmonates and Salicylates Signaling in Plants
$219.00
Diet and the Aetiology of Cancer
$84.99
Alternative Life-History Styles of Animals
$329.99
Difficult Psychiatric Consultations
$54.99
Lead and Lead Alloys
$69.99
Alaska (A True Book: My United States)
$23.25
Tragverhalten von Mauerwerkswnden unter Druck und Biegung
$49.99
Thomas Bernhard
$19.99
Computer and Information Science 2010
$109.99
Software Architecture
$54.99
Cluster Sets
$54.99
Erprobung innovativer Investitionsgter bei Erstkunden
$49.99
Visceral Pain
$219.99
Information-Theoretic Evaluation for Computational Biomedical Ontologies
$54.99
Texten fr die Technik
$49.99
Query Processing in Database Systems
$84.99
Basic Thermochemistry in Materials Processing
$49.99
Die Maxwell'schen Gleichungen
$29.99
Die Endzeit der DDR-Wirtschaft Analysen zur Wirtschafts-, Sozial- und Umweltpolitik
$74.99
Emerging Research in Intelligent Systems
$219.99
From Life to Architecture, to Life
$109.00
Mustererkennung 1992
$69.99
