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
Hmostaseologie
$229.00
Telematics and Computing
$54.99
Japans Industrial Technology Development
$54.99
Social Forces and the Revolution in Military Affairs
$39.99
Counselling for Career Construction
$49.99
Beitrag zur Kennzeichnung der Texturen von Schamottesteinen
$59.99
Wirkungsgradoptimales ottomotorisches Konzept fr einen Hybridantriebsstrang
$69.99
Buddhism in Iran
$99.00
Wind Power Based Isolated Energy Systems
$109.99
Hymenaios und Epithalamion
$39.99
Innovation macht Schule
$59.99
Mitral Valve Surgery
$84.99
Haut und Sinnesorgane
$44.99
Autism in Adolescents and Adults
$129.00
International Cooperation in the Development of Russia's Far East and Siberia
$54.99
Das Medizinproduktegesetz
$159.00
Acta Historiae Neerlandicae/Studies on the History of the Netherlands VIII
$54.99
Europische Publikumsffentlichkeiten
$49.99
Palliative Logopdie - Band 2
$17.99
Objektorientierte Datenbanksysteme
$39.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2019
$84.99
Proteomics for Biomarker Discovery
$199.99
Plant Kinases
$109.99
Trajectory Planning for Automatic Machines and Robots
$249.99
Immigrants on Grindr
$39.99
Managementwissen
$49.99
Decolonizing Multicultural Counseling through Social Justice
$84.99
Uveitis
$119.99
Vorstellungen von Wirtschaftslehrpersonen zum Modelldenken im konomieunterricht
$89.99
The Economics of Speed: Machine Speed as the Key Factor in Productivity
$84.99
Gabler Kompakt-Lexikon Modernes Rechnungswesen
$29.99
Kardiovaskulre Forschung 2000
$39.99
Rural Revitalization in China
$159.99
Big Data and Social Computing
$89.99
Advances in Information Retrieval Theory
$39.99
Envisioning Uncertain Futures
$39.99
Computer and Information Sciences - ISCIS 2006
$129.00
Accurate Computation of Mathieu Functions
$29.99
Adaptive Learning of Polynomial Networks
$169.99
Biologisches Design
$229.99
