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
Developing Disaster Resilient Housing in Vietnam: Challenges and Solutions
$84.99
Clubhouse Mysteries: The Space Mission Adventure
$5.21
Stationre und schrumpfende Bevlkerungen
$69.99
Konstruktivismus
$17.99
Biopatent Law: European vs. US Patent Law
$64.99
Therapieresistenz unter Neuroleptikabehandlung
$84.99
Heusler Alloys
$109.99
Drug Development
$109.99
Deckungsbeitragsrechnung fr Krankenhuser
$59.99
Automatisiertes Fahren 2021
$119.00
Design of Adaptive Finite Element Software
$69.99
Infinitesimalrechnung
$79.99
Wireless Coordinated Multicell Systems
$54.99
Masculinities in Text and Teaching
$54.99
Advances in Communication, Devices and Networking
$169.00
Fu und oberes Sprunggelenk
$79.99
The Regal Theater and Black Culture
$39.99
Computer Vision ECCV 2024
$64.99
Jets From Young Stars III
$54.99
Der erfolgreiche Mediaberater
$29.99
Forms of English History in Literature, Landscape, and Architecture
$39.99
Theory of Cryptography
$119.99
Das patellofemorale Schmerzsyndrom
$69.99
Intelligence Computation and Applications
$99.99
Legal Scholarship as a Source of Law
$59.99
Analysis 2
$19.99
Quick Guide Nachhaltigkeit in der Immobilienwirtschaft
$29.99
Die Rntgentherapie in der Gynkologie
$59.99
Contemporary Trends in Accounting, Finance and Financial Institutions
$109.99
Political Economy of Chinas Climate Policy
$109.99
Lebensversicherungsmedizin
$59.99
The Abdication of Philosophy = The Abdication of Man
$54.99
Image and Graphics Technologies and Applications
$64.99
Unternehmenssteuerung durch den Finanzvorstand (CFO)
$74.99
Boys' Pick Grades 6-8
$130.00
Reviews of Environmental Contamination and Toxicology
$84.99
Nonsequential Processes
$54.99
Deontic Logic and Artificial Normative Systems
$84.99
Ten True Animal Rescues
$3.74
Globalization, Growth and Sustainability
$129.00
