Copied Z User Workshop, Cambridge 1994
Z User Workshop, Cambridge 1994
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.
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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
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
