Copied ZB 2000: Formal Specification and Development in Z and B
ZB 2000: Formal Specification and Development in Z and B
This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.
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
Japanese Institutionalist Post-Keynesians Revisited
$119.99
Atmospheres of Earth and the Planets
$39.99
Sexual Minorities and Mental Health
$169.99
Artificial Neural Networks and Machine Learning ICANN 2016
$54.99
EcoDesign for Sustainable Products, Services and Social Systems II
$199.99
Die Inapparente Virusinfektion und ihre Bedeutung fr die Klinik
$59.99
Studien mittels der Weichardschen Reaktion bei verschiedenen Geisteskrankheiten
$54.99
IUTAM Symposium on Multiscale Modelling of Fatigue, Damage and Fracture in Smart Materials
$129.00
Therapeutic Oligonucleotides
$169.99
Brgerschaftliches Engagement an Schulen
$49.99
Der Fortfhrungswert in der Unternehmensbewertung
$64.99
Behavioral Branding
$74.99
Crash-Kurs fr Verkaufsleiter
$69.99
Der Weg zur modernen IT-Fabrik
$69.99
Fundamentals of Software Engineering
$44.99
Postoperative Critical Care for Adult Cardiac Surgical Patients
$169.00
Big Tech Firms and International Relations
$129.99
The Political Economy of Indo-European Polytheism
$99.99
Critical Information Infrastructure Security
$54.99
Telecommunications and IT Convergence. Towards Service E-volution
$39.99
Gene and Cellular Immunotherapy for Cancer
$129.00
Bifurcation and Chaos in Discontinuous and Continuous Systems
$109.00
Break-Glass
$39.99
Theorie zuflliger Prozesse
$54.99
Multilevel Modeling of Social Problems
$219.99
Computer Science - Theory and Applications
$39.99
Challenges in Mechanics of Time Dependent Materials, Volume 2
$169.99
Hydrogeologische Gelnde- und Kartiermethoden
$59.99
The Story of Space Station Mir
$49.99
Formal Description of Programming Concepts
$109.99
Bone Diseases
$219.99
New Separation Chemistry Techniques for Radioactive Waste and Other Specific Applications
$74.99
Entwicklung und Evaluierung eines Grobscreenings zur Anwendung von EAWS-Sektion der Automobilin
$59.99
Varicella-zoster Virus
$179.99
The Green Economy and the Water-Energy-Food Nexus
$84.99
Applied Number Theory
$59.99
Atoms, Solids, and Plasmas in Super-Intense Laser Fields
$129.00
ber die postlarvale Entwicklung von Flhen (Insecta, Siphonaptera) unter besonderer Bercksichtigun
$44.99
Vom Geschftsprozemodell zum Workflow-Modell
$44.99
Die Algen
$59.99
