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
Elektrische Energieverteilung
$44.99
Creative Prototyping with Generative AI
$49.99
Das Streifenpaar als neues System zur mechanischen Vergrerung kleiner Verschiebungen und seine t
$49.99
Osteoarthritis
$54.99
Responsible Innovation in Health
$54.99
Handbuch Qualitative Forschung in der Psychologie
$69.99
Optical Networking
$109.99
Study of Double Parton Scattering in Photon + 3 Jets Final State
$109.99
Informatics in Control, Automation and Robotics
$189.00
Leithuser-(Reinartz-) Empfnger
$79.99
Recent Advances in Evolutionary Computation for Combinatorial Optimization
$129.00
Computerdynamik der Tragwerke
$64.99
C Compilers for ASIPs
$109.00
Molecular Biophysics for the Life Sciences
$129.00
Hilfsbuch fr die Schiffsfhrung
$59.99
Intelligent Computing
$219.99
Konsumfunktionen fr textile Fertigprodukte
$59.99
Microbiological Hazards of Infusion Therapy
$39.99
The Neem Genome
$169.99
Towards Sustainable Artificial Intelligence
$54.99
Medieval Paradigms: 2 Volume Set
$109.99
Statistische Datenanalyse im Journalismus
$59.99
Mixed Method Research Design
$54.99
Contemporary Masters in Criminology
$129.00
Moral Panics, Mental Illness Stigma, and the Deinstitutionalization Movement in American Popular Cul
$39.99
Feminism
$39.99
Survival Analysis: State of the Art
$109.99
Maya Lin
$5.21
A W.B. Yeats Chronology
$109.99
The application of flow birefringence to rheological studies of polymer melts
$54.99
Tensile Fracturing in Rocks
$169.00
Smart Trends in Information Technology and Computer Communications
$54.99
Reachability Problems
$54.99
Biophysical Osteoblast Stimulation for Bone Grafting and Regeneration
$64.99
Cloud Computing CLOUD 2020
$39.99
Stochastic Reliability and Maintenance Modeling
$169.99
The Practice of WTO Dispute Settlement
$179.99
Mediatisierte Welten
$39.99
Kinetose als Merkmal der Mensch-Fahrzeug-Interaktion
$89.99
Adaptive and Integrated Water Management
$169.99
