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
Peptide and Protein Interaction with Membrane Systems
$109.99
Imagegestaltung in der Automobilindustrie
$59.99
The Origins of Black Humanism in America
$39.99
Solving PDEs in Python
$24.99
Ultrasound in Coronary Artery Disease
$39.99
Geometrische Gruppentheorie
$29.99
Advances in Graph Neural Networks
$44.99
Industry Structure and Pricing
$179.99
Fables
$5.21
Generalized Epilepsy
$39.99
Rheumatic Valvular Disease in Children
$109.99
Transducers 01 Eurosensors XV
$109.99
Practitioners Guide to Behavioral Problems in Children
$84.99
Modelling and Identification in Robotics
$109.99
Screening for Biological Response Modifiers: Methods and Rationale
$109.99
Titan und Titanlegierungen
$84.99
The Sinus Node
$39.99
Current Topics in Microbiology and Immunology
$84.99
Research, Quality, Competitiveness
$119.00
Die gebaute Umwelt
$44.99
ECOOP 2005 - Object-Oriented Programming
$109.99
Ernst Jnger
$17.99
Metal Matrix Composites
$129.00
Disorders of Blood Pressure Regulation
$279.99
China Green Development Index Report 2011
$169.99
Sonographie in der Rheumatologie 50 Flle
$59.99
Political Parties and Euroscepticism
$39.99
Junge Alevit*innen und Sunnit*innen in der postmigrantischen Gesellschaft
$74.99
Chinese Lexical Semantics
$39.99
Entrepreneurial Orientation in Academia
$39.99
Win in Chinese Courts
$49.99
Climbing Medicine
$169.99
Handbook of Partial Least Squares
$389.00
Europeanization and Regionalization in the EU's Enlargement to Central and Eastern Europe
$39.99
Elektrodynamik im 19. Jahrhundert
$74.99
Knowing Governance
$109.99
Theorien und Methoden in den Sozialwissenschaften
$39.99
Mechanisms of Drug Action
$59.99
IUTAM Symposium on Developments in Geophysical Turbulence
$169.99
Marketing klipp & klar
$19.99
