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'97: The Z Formal Specification Notation

ZUM'97: The Z Formal Specification Notation

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

This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Hmostaseologie

$229.00

Telematics and Computing

$54.99

Japans Industrial Technology Development

$54.99

Social Forces and the Revolution in Military Affairs

$39.99

Counselling for Career Construction

$49.99

Beitrag zur Kennzeichnung der Texturen von Schamottesteinen

$59.99

Wirkungsgradoptimales ottomotorisches Konzept fr einen Hybridantriebsstrang

$69.99

Buddhism in Iran

$99.00

Wind Power Based Isolated Energy Systems

$109.99

Hymenaios und Epithalamion

$39.99

Innovation macht Schule

$59.99

Mitral Valve Surgery

$84.99

Haut und Sinnesorgane

$44.99

Autism in Adolescents and Adults

$129.00

International Cooperation in the Development of Russia's Far East and Siberia

$54.99

Das Medizinproduktegesetz

$159.00

Acta Historiae Neerlandicae/Studies on the History of the Netherlands VIII

$54.99

Europische Publikumsffentlichkeiten

$49.99

Palliative Logopdie - Band 2

$17.99

Objektorientierte Datenbanksysteme

$39.99

Medical Image Computing and Computer Assisted Intervention MICCAI 2019

$84.99

Proteomics for Biomarker Discovery

$199.99

Plant Kinases

$109.99

Trajectory Planning for Automatic Machines and Robots

$249.99

Immigrants on Grindr

$39.99

Managementwissen

$49.99

Decolonizing Multicultural Counseling through Social Justice

$84.99

Uveitis

$119.99

Vorstellungen von Wirtschaftslehrpersonen zum Modelldenken im konomieunterricht

$89.99

The Economics of Speed: Machine Speed as the Key Factor in Productivity

$84.99

Gabler Kompakt-Lexikon Modernes Rechnungswesen

$29.99

Kardiovaskulre Forschung 2000

$39.99

Rural Revitalization in China

$159.99

Big Data and Social Computing

$89.99

Advances in Information Retrieval Theory

$39.99

Envisioning Uncertain Futures

$39.99

Computer and Information Sciences - ISCIS 2006

$129.00

Accurate Computation of Mathieu Functions

$29.99

Adaptive Learning of Polynomial Networks

$169.99

Biologisches Design

$229.99