Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

ZUM '95: The Z Formal Specification Notation

ZUM '95: The Z Formal Specification Notation

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540447825
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

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