Copied ZUM '95: The Z Formal Specification Notation
ZUM '95: The Z Formal Specification Notation
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.
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 |
Reviews
Questions & Answers
Advances in Information Retrieval
$39.99
ffentlichkeitsrhetorik
$59.99
Quantenkommunikationsnetze
$99.00
NATO Enlargement During the Cold War
$109.99
Sexualisierte Gewalt in der Heimerziehung der DDR
$39.99
Automating Instructional Design: Computer-Based Development and Delivery Tools
$169.00
Plankton Ecology of the Southwestern Atlantic
$189.00
Klinische Hypnose
$79.99
Theory of Random Determinants
$84.99
Thelma the Unicorn
$4.46
Node Localization in Wireless Sensor Networks
$19.99
Industrielle Produktionsentwicklung
$39.99
A History of Folding in Mathematics
$249.99
Fly Ash Zeolites
$139.99
Intercalation in Layered Materials
$39.99
Anterolateral Rotatory Instability in ACL Deficient Knee
$54.99
Product-Service Integration for Sustainable Solutions
$219.99
Raumbezogenheit sozialer Probleme
$69.99
Zur Logik des Handelns in betrieblichen Arbeitsgruppen
$54.99
Analyse des Einflusses elektrisch untersttzter Lenksysteme auf das Fahrverhalten im On-Center Handl
$54.99
Sustaining Earth
$109.99
iPhone 4 Made Simple
$19.99
Neurovascular Surgery
$109.99
Pokmon Chapter Book: Journey to the Orange Islands
$3.74
Programming Languages and Systems in Computational Economics and Finance
$169.99
The Sharing Economy for Tackling Cybercrime
$109.00
Entrepreneurial Economics
$109.99
Studies on the Ecology of Tropical Zooplankton
$169.00
Ultraschall des Abdomens
$74.99
Ethical Principles and Economic Transformation - A Buddhist Approach
$84.99
Optical Coherence Tomography
$109.99
Computer Aided Systems Theory EUROCAST 2022
$109.99
Computer Analysis of Images and Patterns
$49.99
Untersuchungen ber Grenzflchenreaktionen zwischen Zementklinker und feuerfestem Mauerwerk
$59.99
Emerging Trends in Banking and Finance
$169.99
The Social Meaning of the Senses
$89.99
Practical Splunk Search Processing Language
$34.99
Quantum Mechanical Simulation Methods for Studying Biological Systems
$109.99
Marxist Ethics within Western Political Theory
$54.99
Live on Purpose- 100 Devotions for Letting Go of Fear and Following God by Sadie Robertson Huff
$19.99
