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

Introduction to the Mori Program

$109.99

Medical Management of the Pregnant Patient

$109.99

Runtime Verification

$39.99

Edmond Halleys Reconstruction of the Lost Book of Apolloniuss Conics

$89.00

The Social Developmental Construction of Violence and Intergroup Conflict

$109.99

Muslim Merit-making in Thailand's Far-South

$79.99

Mathematical Methods in Robust Control of Discrete-Time Linear Stochastic Systems

$169.99

The Sustainability of Oil Ports

$84.99

The Political Economy of Crisis Management and Reform in Egypt

$44.99

NebenWirkungen

$17.99

The Rights of Patients

$54.99

Finite Element Bibliography

$54.99

Efficient Branch and Bound Search with Application to Computer-Aided Design

$109.99

Der Abstieg in die Hauptschule

$69.99

Landscapes of Lifelong Learning Policies across Europe

$54.99

Cancer Immunosurveillance

$169.99

1543 and All That

$169.99

GIS in der Stadtentwicklung

$84.99

Petri-Netze

$69.99

The Physical Basis of Biochemistry

$54.99

Update on Childhood Asthma

$54.99

Unternehmen steuern mit Controlling

$69.99

International Education Hubs

$109.99

Generalized Collocation Methods

$54.99

On Science, Inference, Information and Decision-Making

$84.99

Polarization Bremsstrahlung on Atoms, Plasmas, Nanostructures and Solids

$109.99

Essential NMR

$54.99

The Palgrave Handbook of Prison Ethnography

$249.99

Terrorism and Counter-terrorism in Saudi Arabia and Indonesia

$129.99

Video Data Compression for Multimedia Computing

$169.00

Die Integration von Theorie und Methode in der Netzwerkforschung

$39.99

End-User Development

$54.99

UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization

$84.99

Brgerschrecken!

$79.99

Advances in Positioning and Reference Frames

$219.99

Drinking Behavior

$54.99

On the work of Givental relative to mirror symmetry

$19.95

Grne politische Bildung

$59.99

Musculoskeletal Medicine in Clinical Practice

$39.99

rztliche Weiterbildung effektiv gestalten

$17.99