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
Thyroid FNA Cytology
$299.00
Organic Semiconductor Heterojunctions and Its Application in Organic Light-Emitting Diodes
$109.99
Logics in Artificial Intelligence
$109.99
Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2013
$54.99
Clinical Nuclear Medicine
$54.99
Henri Michaux - Studien zum literarischen Werk
$49.99
Die Eisenbahnen. Allgemeine Bestimmungen; Verwaltung der Staatseisenbahnen; Staatsaufsicht ber Priv
$54.99
Brgerliches Recht fr Betriebswirte
$69.99
ber die Natur der Mischfarben auf Grund der Undulationshypothese
$44.99
Why Brains Don't Compute
$69.99
Der Wrmeingenieur
$49.99
The Statesman's Yearbook 2020 and The Statesman's Yearbook Companion
$329.99
Deutschlands Zahlungsbilanz 1925
$44.99
Reflected Brownian Motions in the KPZ Universality Class
$64.99
SOFSEM 2019: Theory and Practice of Computer Science
$54.99
Selbst- und Ko-Regulierung im Mediamatiksektor
$59.99
Autism
$109.99
Gedanken ber das neue deutsche Wahlrecht
$59.99
Color Image Processing and Applications
$219.99
The Destiny of the Dollar
$54.99
Elementary Processes in Excitations and Reactions on Solid Surfaces
$84.99
X-Ray Phase-Contrast Tomography
$109.99
Superplastizitt von Legierungen
$84.99
Building iPhone OS Accessories
$54.99
Problem Posing and Solving for Mathematically Gifted and Interested Students
$109.99
Elliptic Boundary Problems for Dirac Operators
$99.00
Berufliche Passagen im Lebenslauf
$49.99
Erfolgreiches Innovationsmanagement
$44.99
Yolande of Aragon (1381-1442) Family and Power
$109.99
Optical Properties of Ions in Solids
$39.99
Questioning the Foundations of Physics
$54.99
Brewing Science: A Multidisciplinary Approach
$59.99
Intelligent Methods in Electrical Power Systems
$199.99
Herausforderung Verbndemanagement
$64.99
Akzeptanz von Elektroautos in Deutschland und China
$59.99
The Political System of Bosnia and Herzegovina
$129.99
Fundamentals of Computation Theory
$54.99
Weibliche Geschlechtsorgane
$59.99
Evaluating Investments in Health Care Systems
$54.99
Betrieblicher Einsatz Computeruntersttzten Lernens
$69.99
