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
Resilienz im Team
$17.99
Psychology Paradoxes by Jarrett and Ginsburg
$10.00
Rntgen-Fehleinstellungen
$69.99
The Melodramatic Public
$109.99
Mixed Integer Nonlinear Programming
$169.00
Shitstorm-Prvention
$29.99
Stadt und soziale Bewegungen
$39.99
Diagnosis of human peroxisomal disorders
$54.99
There's a Fly Guy in My Soup (Fly Guy #12) (Hardcover)
$5.99
Management Control in Central and Eastern European Subsidiaries
$39.99
Public Policy and Agricultural Technology
$39.99
Bio-Psycho-Social Obstetrics and Gynecology
$169.99
Progress in Boundary Element Methods
$39.99
Automated Reasoning
$109.99
Architecture and CAD for Deep-Submicron FPGAS
$169.00
Joining Processes
$169.99
Zentraleuropischer Anaesthesiekongre
$69.99
Die Medizin an der Berliner Charit bis zur Grndung der Universitt
$59.99
Dictionary of Disaster Medicine and Humanitarian Relief
$54.99
Der Stickstoffumsatz / Nitrogen Metabolism
$54.99
First-Order Logic
$39.99
The Lost Track of Time (Hardcover)
$13.49
Feuchteschutz
$79.99
Controversies in Acute Pancreatitis
$109.99
Lifespan Perspectives on Natural Disasters
$54.99
A Data-Centric Approach to Breaking the FDI Trap Through Integration in Global Value Chains
$39.99
Shape Optimization, Homogenization and Optimal Control
$79.99
Management and Myths
$54.99
Artificial Intelligence and Sustainable Computing for Smart City
$54.99
Sustainability Partnerships
$39.99
Microbial Steroids
$249.99
Human Settlements
$159.99
Biology of Womens Heart Health
$149.00
Intelligent Information and Database Systems
$54.99
Sustainable Cities for the Third Millennium: The Odyssey of Urban Excellence
$84.99
Spreading Activation, Lexical Priming and the Semantic Web
$54.99
Arbeit auf Zeit
$59.99
Foundations and Applications of Security Analysis
$39.99
Holding Her Own (Hardcover)
$16.49
Perinatal Medicine
$39.99
