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
Arachidonate Remodeling and Inflammation
$109.99
Hyperbaric Oxygenation Therapy
$139.99
The Culture of Obesity in Early and Late Modernity
$54.99
The Invisible Universe
$19.99
Living on the Edge
$169.99
Oxygen Homeostasis and Its Dynamics
$54.99
Neurotraumatologie
$84.99
Shaping the Sciences of the Ancient and Medieval World
$109.00
Leben in der multikulturellen Gesellschaft
$69.99
Chassin's Operative Strategy in General Surgery
$84.99
Biochemical Engineering and Biotechnology of Medicinal Mushrooms
$299.99
Modernist Nowheres
$39.99
Economic Analysis of Information and Contracts
$129.00
New Information Technologies in Organizational Processes
$129.00
Information and Communication Technologies in Tourism 2019
$179.99
Coping with Drought Risk in Agriculture and Water Supply Systems
$109.99
Full-Chip Nanometer Routing Techniques
$109.99
G-Convergence and Homogenization of Nonlinear Partial Differential Operators
$109.99
Recent Results in Laminar-Turbulent Transition
$219.99
Theoretische Analyse und praktische Anwendung von Modellen der optimalen Ausschuvorgabe unter Berc
$44.99
The Statesman's Year-Book 1979-80
$99.00
Implantable Defibrillator Therapy: A Clinical Guide
$129.00
NASA in the World
$84.99
Building a Career in Software
$44.99
Principles for Evaluation of One Health Surveillance: The EVA Book
$89.00
Full-Potential Electronic Structure Method
$84.99
Basic and Clinical Concepts of Lung Cancer
$169.00
Forschung zu Zivilgesellschaft, NPOs und Engagement
$64.99
Optimization and Its Applications in Control and Data Sciences
$109.99
Intermittent and Periodic Fasting, Aging and Disease
$199.99
Strategisches Risikomanagement fr Verteilnetzbetreiber im liberalisierten Energiemarkt
$44.99
Autonomous Agents and Multiagent Systems
$39.99
Analysis of the British Construction Industry
$39.99
Amira's Picture Day
$6.71
Supply Chain Safety Management
$69.99
Elemente der Mechanik II
$49.99
Risk and the Political Economy of Resource Development
$44.99
Netherlands Yearbook of International Law 2019
$159.99
10 Years Plant Molecular Biology
$109.99
Foreign Policy Change in Europe Since 1991
$179.99
