Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Rigorous State-Based Methods
Best Price (Coupon Required):
Buy Rigorous State-Based Methods for $45.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$49.99 | $49.99 |
|
10% OFF
This deals requires coupon
|
$45.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. The conference changed to an online format due to the COVID-19 pandemic. The 6 full and 8 short papers included in this volume were carefully reviewed and selected from 18 submissions. The proceedings also include 3 PhD symposium contributions. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.
Reviews
Questions & Answers
Smart Helicopter Rotors
$109.99
Invasive Bladder Cancer
$84.99
Twenty-first Century Feminism
$54.99
Memory and Theory in Eastern Europe
$139.99
Geopolymer and Geopolymer Matrix Composites
$199.99
Computational Fluid Dynamics for the Petrochemical Process Industry
$129.00
Mathematical Modeling in Ecology
$109.99
Introducing Distributed Application Runtime (Dapr)
$64.99
Evolutionary Algorithms for Embedded System Design
$109.99
The Application of Mathematics in Industry
$39.99
Technology and Enterprise Development
$29.99
Congenital Heart Disease and Adolescence
$84.99
Die Dunkle Triade im Dienstleistungskontext
$44.99
Ubiquitous Security
$99.99
Die Mechanisierung des Weltbildes
$119.99
Programmplanung bei Kuppelproduktion
$59.99
Anal Cancer
$49.99
Science Education in Theory and Practice
$69.99
Coordination Models and Languages
$54.99
Die trockene Destillation des Holzes und Verarbeitung der durch dieselbe erhaltenen Rohproducte auf
$84.99
Conducting Polymers
$129.00
Conceptual Profiles
$159.99
Theory and Method of Fisheries Forecasting
$169.99
Armutsforschung und Sozialberichterstattung in den neuen Bundeslndern
$59.99
New Speakers of Minority Languages
$119.00
Citation Analysis and Dynamics of Citation Networks
$64.99
Practical Handbook of Thoracic Anesthesia
$119.00
Silicone Composite Insulators
$169.99
Germanische Heldensage
$29.99
Legal Aspects of the Recovery of Areas Degraded by Mining in the International Seabed
$49.99
The Human Nasolacrimal Ducts
$109.99
Advanced Methods of Pharmacokinetic and Pharmacodynamic Systems Analysis
$169.00
Geometry of Single-point Turning Tools and Drills
$169.00
Public Sector Enterprises in India
$109.99
Biological and Medical Data Analysis
$109.99
Money Laundering Through Art
$139.99
Beeinflussung des Verschleiverhaltens bei spanenden Werkzeugen durch flssige und gasfrmige Khlmi
$59.99
Elternverluste
$69.99
The Future of Literacy Studies
$119.99
Gut Microbiome and Its Impact on Health and Diseases
$199.99
