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
Information Security and Cryptology - ICISC 2001
$39.99
Globales Risikomanagement in Finanzinstitutionen
$54.99
Somatostatin
$84.99
I Spy: I Spy a Funny Frog
$3.71
Biophysical Aspects of Coherence and Biological Order
$109.99
Pregnancy with Artificial Intelligence
$199.99
Reaktor-Sicherheitstechnik
$49.99
Biographische Fallarbeit
$34.99
Untersuchung eines Hubwerkes mit redundanten Komponenten und zweiter kinematischer Kette zur Erhhun
$59.99
Leading through Conflict
$109.99
Innovationsfhigkeit der Finanzbranche
$17.99
Malala Yousafzai (She Dared)
$5.24
Clinical Examination and Differential Diagnosis of Skin Lesions
$179.00
Rapid ECG Interpretation
$219.99
Praktische Studien zur Unternehmensforschung
$54.99
Cross-Border Cooperation in the Republic of Ireland and Northern Ireland
$109.99
Positive Psychologie in der Erziehung
$17.99
Micro-XRF Studies of Sediment Cores
$139.99
Power and Sainthood
$39.99
Value Rational Engineering
$37.99
Selected Works III
$129.99
Leistungsorientierte Vergtung als Qualifizierungsanreiz
$64.99
Basic Concepts in Physics
$89.99
Cultural Manifold Analysis on National Character
$139.99
Jahrbuch der Psychoonkologie 1997
$59.99
Global Issues in Banking and Finance
$169.99
The Soviet Unions Invisible Weapons of Mass Destruction
$99.00
ber die Entwicklung des Dnndarms der Ratte
$59.99
Structure and Dynamics of the Interstellar
$74.99
Massive and Irreparable Rotator Cuff Tears
$79.99
Advances in Applied Self-organizing Systems
$109.00
Change Leadership in Emerging Markets
$84.99
Portfolio Assessment for the Teaching and Learning of Writing
$69.99
Sicherheitsmentalitten im lndlichen Raum
$34.99
Art Education Beyond the Classroom
$39.99
Cuentos Fonticos (Spanish Phonics Readers): El parque helado
$3.71
Multiple Stars across the H-R Diagram
$109.99
Researching and Representing Mobilities
$39.99
Neue Materialien fr einen realittsbezogenen Mathematikunterricht 4
$39.99
Click Clack Moo: Click, Clack, Quackity-Quack
$5.96
