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
Unmasking Europa
$34.99
Computational Methods in Decision-Making, Economics and Finance
$329.99
Fundamentals of Latex Film Formation
$169.99
Die Prokuristen
$59.99
Bericht ber das Jahr 1955
$44.99
Human Rights Trade-Offs in Times of Economic Growth
$54.99
Romanian Management Theory and Practice
$59.99
The Lucky Ones
$6.71
Proceedings of the 10th International Conference on Industrial Engineering
$299.99
Kontinuumsmechanik fester Krper
$39.99
Trkeiforschung im deutschsprachigen Raum
$64.99
Steel Phoenix
$109.99
Asia's Debt Capital Markets
$169.99
Biochemistry and Molecular Biology of Antimicrobial Drug Action
$109.99
Nationale Zusammengehrigkeit und moderne Vielfalt
$64.99
Schnittstellenprobleme in Neurowissenschaften und Philosophie
$59.99
Aufgabensammlung Numerik
$29.99
Bio-Clean Energy Technologies: Volume 1
$189.00
Beginning Oracle Application Express 4
$49.99
British Political Facts 19001985
$54.99
Der Harn sowie die brigen Ausscheidungen und Krperflssigkeiten
$69.99
Pulse Field Gel Electrophoresis
$84.99
Reconstructive Surgery of the Rectum, Anus and Perineum
$249.99
Dantes Inferno
$84.99
Instructional Design: The ADDIE Approach
$69.99
Andrologie
$249.99
Breakthrough!
$13.33
Non-Standard Rank Tests
$109.99
Konfliktregelung durch Europisierung
$49.99
Bifurcation Dynamics in Polynomial Discrete Systems
$179.99
Serious Games: The Challenge
$54.99
Schule und digitale Kommunikationskultur
$84.99
Handbook on Post-War Reconstruction and Development Economics of Ukraine
$249.99
Melatonin: Role in Plant Signaling, Growth and Stress Tolerance
$219.99
Drugs for Heart Disease
$54.99
Compelled Compassion
$39.99
Grundlagen der Wahrscheinlichkeitsrechnung und stochastischer Prozesse fr Ingenieure
$54.99
The Politics of Total Liberation
$99.99
Phronesis as Professional Knowledge
$49.99
Irrigation Governance Challenges in the Mediterranean Region: Learning from Experiences and Promotin
$109.99
