Copied Rigorous State-Based Methods
Rigorous State-Based Methods
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.
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 |
|
$64.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Eicosanoids and other Bioactive Lipids in Cancer, Inflammation, and Radiation Injury 3
$259.00
Neoliberalism in Multi-Disciplinary Perspective
$79.99
Schneider - Arzneidrogen
$64.99
Shaken, Not Stirred!
$27.99
The Social Construction of the Person
$39.99
Fracture, Fatigue, Failure and Damage Evolution, Volume 8
$169.99
Learning and Education for a Better World
$49.99
The Changing Faces of Childhood Cancer
$54.99
Advanced IT Tools
$169.00
Dokumentation verfahrenstechnischer Anlagen
$159.99
Der erziehungswissenschaftliche Lifelong Learning-Diskurs
$44.99
Osteoporosis in Orthopedics
$84.99
The Perception of Illusory Contours
$74.99
Plastics in Dentistry and Estrogenicity
$84.99
Practical Amateur Spectroscopy
$49.99
Proceedings of the 10th Hydrogen Technology Convention, Volume 2
$249.99
The Collaborative Era in Science
$119.99
Decision Criteria and Optimal Inventory Processes
$169.99
Landschaftsmodellierung fr die Umweltplanung
$69.99
Jetzt digital transformieren
$17.99
Lebenslanges Lernen im Beruf seine Grundlegung im Kindes- und Jugendalter
$59.99
Computer im Deutschen Bundestag
$59.99
Die asynchronen Wechselstrommaschinen
$59.99
Collaborative Development in Northeast Asia
$54.99
Sustainable Forestry Challenges for Developing Countries
$169.99
Matrix and Tensor Factorization Techniques for Recommender Systems
$79.99
An Introduction to Difference Equations
$64.99
Computing and Combinatorics
$54.99
Global Talent Management
$84.99
Reproductive Health and Maternal Sacrifice
$99.99
Geographical Dimensions of Energy
$169.00
Divided Gulf
$109.00
Mechanical Systems, Classical Models
$169.00
Quality, Reliability, Security and Robustness in Heterogeneous Networks
$54.99
Wastewater Hydraulics
$99.00
Baby Days Collection 2 (Birth - 12 months)
$29.00
Diagnosis: Philosophical and Medical Perspectives
$129.00
A Coleridge Chronology
$109.99
Periodic Solutions of the N-Body Problem
$34.99
Principles of Verilog PLI
$129.00
