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
Sustainable Development of Water and Environment
$249.99
The Making of Goddess Durga in Bengal: Art, Heritage and the Public
$109.00
Code-Based Cryptography
$59.99
Urban Sustainability
$84.99
Gutachten des Reichs-Gesundheitsrates, betreffend die Verunreinigung der Orla und Ktschau durch gew
$59.99
Project Management
$109.99
Enzymopathologie
$84.99
E-Life after the Dot Com Bust
$54.99
Hierarchical Archimedean Copulas
$49.99
The China Information Technology Handbook
$219.99
Thinking about Higher Education
$109.99
Learn Data Science Using SAS Studio
$54.99
Die Entwicklung des Tensorkalkls
$109.00
A Guide to Gastrointestinal Motility Disorders
$84.99
Analytical System Dynamics
$169.99
Methods of Assessing the Reinforcing Properties of Abused Drugs
$84.99
Fundamentals of Friction
$329.99
Hunters between East and West
$84.99
An Introduction to Smooth Manifolds
$84.99
The Politics of Hong Kong's Reversion to China
$109.99
Physikalische Therapie Innerer Krankheiten
$49.99
Programming Languages and Systems
$39.99
Personalized, Evolutionary, and Ecological Dermatology
$84.99
New Perspectives on Affect and Learning Technologies
$109.99
Perspectives on Business Modelling
$109.99
The Medical-Legal Aspects of Acute Care Medicine
$199.99
Emerging Technologies and Information Systems for the Knowledge Society
$109.00
Die digitale Wachstumsstrategie
$59.99
Artificial Intelligence and Symbolic Computation
$54.99
Die zementlose Fixation von Hftendoprothesen
$59.99
Lehrbuch der Hals-, Nasen-, Ohrenheilkunde
$74.99
Critical Studies in Private Law
$169.99
Das neue PL/I
$79.99
Formale Sprachen, abstrakte Automaten und Compiler
$29.99
Mobile Arbeit, mobile Eltern
$34.99
Zur Kenntnis der Hydrostachyaceae
$59.99
Natural Language Processing IJCNLP 2005
$169.99
The Palgrave Handbook on Critical Theories of Education
$169.99
Das Wissen des Bankkaufmanns
$59.99
Iranian Islam
$39.99
