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
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
