Copied ZUM'97: The Z Formal Specification Notation
ZUM'97: The Z Formal Specification Notation
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.
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
Fundamentals of Cancer Prevention
$99.00
Fiscal Policy in the Southern European Union Countries
$109.99
Active Control of Magneto-hydrodynamic Instabilities in Hot Plasmas
$109.99
Proceedings of MPCPE 2022
$219.00
Refugees and Forced Migrants in Africa and the EU
$89.99
Quantenfeldtheorie Wie man beschreibt, was die Welt im Innersten zusammenhlt
$69.99
The Consequences of Fear Maisie Dobbs Series #16 by Jacqueline Winspear
$18.99
Access, Equity, and Capacity in Asia-Pacific Higher Education
$54.99
Education, Citizenship, and Cuban Identity
$54.99
Advances in Artificial Intelligence
$109.99
Acute Myelogenous Leukemia
$169.00
Allergy and Immunotoxicology in Occupational Health - The Next Step
$109.99
Polycystic Ovary Syndrome
$99.00
Experimentelle Untersuchungen an stark umlenkenden berschallverzgerungsgittern
$59.99
Securing Our Natural Wealth
$34.99
Handbook of Relapsing-Remitting Multiple Sclerosis
$39.99
Personaleinsatz bei stationren intermittierenden Dialysen
$59.99
Erlsplanung und Erlskontrolle als Instrument der Absatzpolitik
$69.99
Versuche zur Steigerung des Kokillen-Schluckvermgens beim Stranggieen von Stahl
$54.99
Future Intent-Based Networking
$189.00
Unternehmensethik und Wertemanagement in Familien- und Mittelstandsunternehmen
$79.99
Bayesian Statistical Modeling with Stan, R, and Python
$159.99
Education and Social Change in Latin America
$54.99
Imaging of Trabecular Microfracture and Bone Marrow Edema and Hemorrhage
$109.99
Dependence Analysis
$129.00
Pathologische Physiologie Chirurgischer Erkrankungen
$59.99
Flame - Retardant Polymeric Materials
$84.99
Artificial Ventilation
$84.99
Biodiversity and Ecosystem Function
$54.99
Climate Change Adaptation Framework and Youth Entrepreneurship in West Africa
$139.99
Dynamics and Mechanism of DNA-Bending Proteins in Binding Site Recognition
$84.99
On Judicial Management from Comparative Perspective
$179.99
Die lversorgungssicherheitspolitik der USA und der VR China
$54.99
Generalized Functions and Their Applications
$169.99
Globalization and the State: Volume I
$109.99
Shape Interrogation for Computer Aided Design and Manufacturing
$54.99
Theory of ElectronAtom Collisions
$109.99
Einkaufsstress
$69.99
Tilapias: Biology and Exploitation
$219.99
The European Labour Market
$169.99
