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

Z User Workshop, Cambridge 1994

Z User Workshop, Cambridge 1994

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

This volume contains papers from the Eighth Z User Meeting, to be held at the University of Cambridge from 29 - 30 June 1994. The papers cover a wide range of issues associated with Z and formal methods, with particular reference to practical application. These issues include education, standards, tool support, and interaction with other design paradigms such as consideration of real-time and object-oriented approaches to development. Among the actual topics covered are: the formal specification in Z of Defence Standard 00-56; formal specification of telephone features; specifying and interpreting class hierarchies in Z; and software quality assurance using the SAZ method. Z User Workshop, Cambridge 1994 provides an important overview of current research into industrial applications of Z, and will provide invaluable reading for researchers, postgraduate students and also potential industrial users of Z.

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

New Frontiers in Quantitative Methods in Informatics

$39.99

Recent Advances in Hydraulic Physical Modelling

$259.00

Colon Polyps and the Prevention of Colorectal Cancer

$119.00

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi

$69.99

Microneuroanatomy and Surgery

$169.99

The Mystery of Matter

$84.99

Prognosen fr Start-up-Unternehmen

$17.99

Die Vernetzung sozialer Einheiten

$59.99

Bernadotte in Palestine

$54.99

Human Sleep

$39.99

Japanese Foreign Policy

$109.99

Opportunity Recognition

$29.99

Thermal Flows in Porous Media

$109.99

Applied Scanning Probe Methods V

$89.00

Humans on Earth

$49.99

Baby See, Baby Do

$5.21

The Influence of Public Opinion on Post-Cold War U.S. Military Interventions

$109.99

Consilience

$39.99

Recent Progress in Computational and Applied PDES

$84.99

Joint Surgery Up to Date

$54.99

Understanding and Interpreting Economic Structure

$169.99

Lectures on Analysis on Metric Spaces

$49.99

Randomization, Approximation, and Combinatorial Optimization. Algorithms and Techniques

$54.99

Mobility Management

$109.99

Strategisches Kndigungsverhalten

$69.99

Das therapeutische Angebot fr bewegungsgestrte Kinder

$59.99

Glucocorticoids

$39.99

High Speed Rail and Access Transit Networks

$119.99

Silicon-on-Insulator

$54.99

The Palgrave Handbook of Prison Tourism

$379.99

Spectral Theory, Mathematical System Theory, Evolution Equations, Differential and Difference Equati

$109.99

Historically Black Colleges and Universities

$39.99

Standardized Procedures and Protocols for Starch

$219.99

Pro Microsoft Power BI Administration

$54.99

Native American Racism in the Age of Donald Trump

$54.99

Se lo comi un oso?

$4.49

Protein Tyrosine Kinases

$169.00

Portuguese-speaking Island Developing States

$119.00

In Mathe war ich immer schlecht ..

$54.99

Deregulierte Telekommunikationsmrkte

$49.99