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
Island Thinking
$39.99
Dezentrales vernetztes Energiemanagement
$69.99
Meteorologie
$19.99
Environmental Geochemistry and Health
$109.99
Our Cultural Agony
$109.99
Sustainable Resource Development in the 21st Century
$179.99
Revolution and Reflection
$54.99
Geisteswissenschaften studieren - und dann?
$24.99
Hipparcos, the New Reduction of the Raw Data
$249.99
From Manager to Visionary
$54.99
The Developing Language Learner
$109.99
The Neurobiology of Motivation and Reward
$39.99
Catalogue of Salmonella First Isolations 19651984
$219.99
Concepts, Clinical Developments, and Therapeutic Advances in Cancer Chemotherapy
$169.99
Crisis and Sustainability
$89.99
High-Risk Sexual Behavior
$54.99
Labour
$109.99
ber die chemische Modifizierung von Polyacrylnitril und entsprechenden Modellsubstanzen sowie deren
$44.99
Tabaknachsteuer-Ordnung
$54.99
Diagnosis and Therapy of Malignant Lymphoma
$109.99
Relativity and the Question of Discretization in Astronomy
$54.99
Communication, Commerce and Power
$169.99
Game Theory
$39.99
Business Ethics of Innovation
$54.99
Human Airway Inflammation
$89.00
Kopf gewinnt!
$29.99
Repatriation to France and Germany
$39.99
Artificial Intelligence, Digitalization and Regulation
$249.99
Macht und Demokratie in der CDU
$59.99
Wissensobjekt Selbstmordattentat
$59.99
We Are Free, You and Me (Hardcover)
$14.24
Physics of Semiconductor Devices
$329.99
Lineare Optimierung eine anwendungsorientierte Einfhrung in Operations Research
$24.99
Exploring Memory Hierarchy Design with Emerging Memory Technologies
$109.99
Measuring Progress Towards Sustainability
$109.99
Blockchain
$44.99
Datenbasiert entscheiden
$17.99
Politische Kultur in stdtischen Rumen Parteien auf der Suche nach Whlern und Vertrauen
$69.99
Coordinates on a Grid Grade 5 Differentiation Pack
$5.99
Fiktion des Anfangs
$39.99
