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
Global Gravity Field Modeling from Satellite-to-Satellite Tracking Data
$119.99
Risk Management of Non-Renewable Energy Systems
$109.99
Elizabeth I in Writing
$119.99
Dictionary of Labour Biography
$129.00
First International Workshop on Larch
$54.99
Digitalschaltungen
$69.95
Music, Leadership and Conflict
$129.00
The Sociology of Community Connections
$59.99
African American Gothic
$129.99
Molecular and Cell Biology of Sexually Transmitted Diseases
$84.99
Digitalrechner Grundlagen und Anwendungen
$49.99
Fluid Mechanics and Fluid Power (Vol. 1)
$329.99
Advances in Dynamic Games
$84.99
Designing Software for the Mobile Context
$54.99
Biology of Memory
$54.99
Heath, Nixon and the Rebirth of the Special Relationship
$54.99
Mathematical Problems in Image Processing
$199.99
Multipersonale Kaufentscheidungen
$59.99
Organic Electronics
$329.99
Integrated Design of a Product Family and Its Assembly System
$84.99
Der soziale Sinn der Sinne
$49.99
Nations Out of Empires
$54.99
Econometric Modelling in Theory and Practice
$84.99
Conflict and Catastrophe Medicine
$279.99
Getting Started with the Uno Platform and WinUI 3
$64.99
Entwurf von Gebhrenstzen fr Untersuchungen von Nahrungsmitteln und Genussmitteln sowie Gebrauchsg
$54.99
Looming Vulnerability
$129.99
Neurophysiology in Clinical Practice
$59.99
Literature 1977, Part 2
$39.99
Physik und Finanzen
$29.99
Dominant Language Constellations
$84.99
Telefontraining in Banken
$39.99
Type Logical Grammar
$169.99
Gabler Bank Lexikon
$74.99
Siebzehnte sterreichische rztetagung Wien Van-Swieten-Kongre
$79.99
Applications of Logic Databases
$169.99
Mathematics Teacher Training and Development in Africa
$199.99
Urheber- und Verlagsrecht
$59.99
Electrochemical Synthesis of Inorganic Compounds
$169.99
Ansprache des Ministerprsidenten Fortschritte auf dem Gebiet der experimentellen Krebsforschung
$59.99
