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

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