Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon

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
$84.99 $84.99

10% OFF
This deals requires coupon
$76.50
See Site In stock Visit Store

Product Details

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

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Advances in Image and Video Technology

Advances in Image and Video Technology

$129.00
Cuban Women Writers

Cuban Women Writers

$54.99
Quantum-Dot-Based Semiconductor Optical Amplifiers for O-Band Optical Communication

Quantum-Dot-Based Semiconductor Optical Amplifiers for O-Band Optical Communication

$109.99
Geschmack im Musikunterricht

Geschmack im Musikunterricht

$49.99
Integrative Approaches in Environmental Health and Exposome Research

Integrative Approaches in Environmental Health and Exposome Research

$159.99
The W3 Algebra

The W3 Algebra

$39.99
Geschichte und Kapitalwirtschaft

Geschichte und Kapitalwirtschaft

$59.99
Encrypted Email

Encrypted Email

$39.99
We Who Produce Pearls: An Anthem for Asian America (Hardcover)

We Who Produce Pearls: An Anthem for Asian America (Hardcover)

$14.99
Beitrag zur Lehre vom Kindesmord

Beitrag zur Lehre vom Kindesmord

$54.99
White on Black in South Africa

White on Black in South Africa

$109.99
Progress in Artificial Intelligence

Progress in Artificial Intelligence

$109.99
The Field (Hardcover)

The Field (Hardcover)

$13.46
Corporate Culture in Multinational Companies

Corporate Culture in Multinational Companies

$84.99
Area-Wide Control of Insect Pests

Area-Wide Control of Insect Pests

$499.99
Biology of Genus Boswellia

Biology of Genus Boswellia

$169.99
Multi-run Memory Tests for Pattern Sensitive Faults

Multi-run Memory Tests for Pattern Sensitive Faults

$54.99
Science and Religion

Science and Religion

$109.99
Iatrogenic Disorders of the Fetus, Infant, and Child

Iatrogenic Disorders of the Fetus, Infant, and Child

$84.99
Humanism in Marketing

Humanism in Marketing

$199.99
Determination of Air Quality

Determination of Air Quality

$84.99
Algebraic Coding Theory Over Finite Commutative Rings

Algebraic Coding Theory Over Finite Commutative Rings

$79.99
Strahlungs- und Helligkeitsmessungen in Kolberg

Strahlungs- und Helligkeitsmessungen in Kolberg

$59.99
Shakespeare and Contemporary Irish Literature

Shakespeare and Contemporary Irish Literature

$79.99
Germany's Economic Performance

Germany's Economic Performance

$109.99
Blended Learning: Re-thinking and Re-defining the Learning Process

Blended Learning: Re-thinking and Re-defining the Learning Process

$79.99
Die Garnverarbeitung

Die Garnverarbeitung

$59.99
Recent Advances in Computer Science and Information Engineering

Recent Advances in Computer Science and Information Engineering

$169.00
Multiscale Methods in Computational Mechanics

Multiscale Methods in Computational Mechanics

$84.99
Trauma-Biomechanik

Trauma-Biomechanik

$119.99
The Functional Morphology of the Human Endometrium and Decidua

The Functional Morphology of the Human Endometrium and Decidua

$109.99
The Unicorns Who Saved Christmas

The Unicorns Who Saved Christmas

$4.46
Clinical Management of the Rheumatoid Hand, Wrist, and Elbow

Clinical Management of the Rheumatoid Hand, Wrist, and Elbow

$199.99
Multifunctional Metallic Hollow Sphere Structures

Multifunctional Metallic Hollow Sphere Structures

$169.99
Mystical Traditions

Mystical Traditions

$139.00
Das Mensch-Tier-Verhltnis als Gegenstand politischer Bildung

Das Mensch-Tier-Verhltnis als Gegenstand politischer Bildung

$74.99
Signal Transduction by G Protein-Coupled Receptors

Signal Transduction by G Protein-Coupled Receptors

$109.99
Heart Cell Coupling and Impulse Propagation in Health and Disease

Heart Cell Coupling and Impulse Propagation in Health and Disease

$129.00
Prolate Spheroidal Wave Functions of Order Zero

Prolate Spheroidal Wave Functions of Order Zero

$109.99
Smalltalk and Object Orientation

Smalltalk and Object Orientation

$54.99
previous
next