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 $58.50 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
|
|
$64.99 | $64.99 |
|
10% OFF
This deals requires coupon
|
$58.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, in May 2023. The 12 full and 7 short papers included in this volume were carefully reviewed and selected from 47 submissions. The proceedings also include 4 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
The Atlas System of Morocco
$84.99
Fundamentals of Neuromechanics
$99.99
Team Flow
$69.99
The Crustacean Stomatogastric System
$84.99
Audiovisuelle Medien im Sport / Moyens audiovisuels dans le sport / Audiovisual means in sports
$49.99
Encyclopedia of Computer Graphics and Games
$999.99
Die konomisierung des ffentlichen Dienstes
$79.99
Nils Petter Gleditsch: Pioneer in the Analysis of War and Peace
$24.99
Forum Markenforschung 2021
$89.99
Human Rights and Free Trade in Mexico
$54.99
The Privileged Pincer-Metal Platform: Coordination Chemistry & Applications
$219.99
Computational Modeling of Biological Systems
$109.99
Mindful Education
$139.99
Sweet and Sour
$5.96
Logistik-Wrterbuch. Dictionary of Logistics
$109.00
War Volunteering in Modern Times
$129.99
Am I That Name?
$54.99
Image-Guided Interventions in Oncology
$109.99
Trust and Legitimacy in Criminal Justice
$109.99
Brain Edema
$84.99
Analysis, Modeling and Simulation of Multiscale Problems
$119.00
Drug Treatment in Obstetrics
$39.99
Australian War Graves Workers and World War One
$59.99
Role of Micronutrients in Brain Health
$169.00
Metropolitan Area WDM Networks
$169.99
Die Europische Union
$59.99
Intersubjectivity and the Double
$54.99
HCI International 2024 Late Breaking Papers
$74.99
Convergence and Summability of Fourier Transforms and Hardy Spaces
$99.00
Detection of Intrusions and Malware, and Vulnerability Assessment
$74.99
Towards Low and Positive Energy Buildings
$149.99
Periodische Enzymaktivierung als Kontrollfaktor multizellulrer Entwicklung. Neuere Ergebnisse zum r
$59.99
Developments of the Avian Embryo
$54.99
Particles on Surfaces 1
$39.99
Decision Tree and Ensemble Learning Based on Ant Colony Optimization
$109.99
Systemic Lupus Erythematosus
$109.99
The Social Origins of Modern Science
$219.99
From Curve Fitting to Machine Learning
$109.99
Fertigungstechnik von Luft- und Raumfahrzeugen
$59.99
Die Entgrenzung von Kindheit in der Mediengesellschaft
$59.99
