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
Autopolitik
$24.99
End-User Development
$54.99
The 1st International Conference on Maritime Education and Development
$129.00
Efficiency and Growth of Ethiopian Air Transport Industry
$109.99
Introduction to Graph Neural Networks
$64.99
Frontiers of Broadband, Electronic and Mobile Commerce
$109.99
Smart Grid Applications and Developments
$109.99
Teenie-Welten
$64.99
Oper, Publikum und Gesellschaft
$74.99
ber die spezielle und die allgemeine Relativittstheorie
$54.99
Advances in Cryptology - CRYPTO '88
$39.99
Spatial Microsimulation: A Reference Guide for Users
$109.99
Contemporary Optoelectronics
$54.99
Die Symmetrie der Kristalle
$49.99
Project Management for Environmental, Construction and Manufacturing Engineers
$109.99
Assistierter Suizid
$64.99
Addictive Behaviour: Molecules to Mankind
$169.99
The ABCs of Gene Cloning
$34.99
Samuel Beckett's Critical Aesthetics
$109.99
New Perspectives on Hispanic Caribbean Studies
$129.99
Endliche Krper
$19.99
Water Resources of Chile
$129.99
Database Design and Implementation
$59.99
Computational Chemistry
$139.99
Formal Methods in the Methodology of Empirical Sciences
$169.99
Intermolecular Interactions
$39.99
Walker Percy and the Crisis of Meaning
$129.99
Experiencing the Environment
$74.99
Handbuch Militrische Berufsethik
$89.99
Inner Product Structures
$84.99
The World Yearbook of Robotics Research and Development
$54.99
Fast Software Encryption
$39.99
Mid-Infrared Coherent Sources and Applications
$329.99
Statistical Methods for the Assessment of Point Source Pollution
$109.99
Rape Trials in England and Wales
$159.99
Machine Learning for Evolution Strategies
$109.99
A Multiple-Testing Approach to the Multivariate Behrens-Fisher Problem
$29.99
Asymptotic Nonparametric Statistical Analysis of Stationary Time Series
$54.99
Approaches in Bioremediation
$149.00
Cause & Effect Grade 5 Differentiation Pack
$5.99
