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 |
|
$58.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Human Well-Being
$129.99
Ceramic Powder Preparation: A Handbook
$169.99
Winning Ways through Corporate Governance
$54.99
Metaethics
$54.99
Politics and Sentiments in Risorgimento Italy
$139.99
Kreditderivate im europischen Kapitalmarkt
$74.99
Soft Computing Techniques and Applications
$219.99
Higher-Order Systems
$109.00
Auslndische Betriebe in Nordrhein-Westfalen
$59.99
Decolonising the Literature Curriculum
$139.99
Machine Intelligence and Big Data Analytics for Cybersecurity Applications
$219.99
Artificial Intelligence in Education and Teaching Assessment
$169.99
Verbrennungsmotoren
$44.99
Couple Resilience
$109.99
Handbook of Resilience in Children
$329.99
Wirtschaftsethik
$69.99
Life is Better with Friends (Official Friends Picture Book) (Hardcover)
$14.39
Modern Questions of Celestial Mechanics
$49.95
Die Einwilligung in die medizinische Behandlung Minderjhriger
$99.00
Literature 1998, Part 2
$639.00
Building Institutions for Resilience
$169.99
Evolutionary Trends in the Physical Sciences
$109.99
Transformation der Kernexekutive
$59.99
The Definitive Guide to Firebase
$79.99
Medienmanagement
$39.99
Stadtquartiere auf Zeit
$49.99
Regenerative-Adaptive Design for Sustainable Development
$109.00
Mathematik und Physik
$54.99
Frindle
$5.96
Polymerization Reactions
$39.99
CO2 Injection in the Network of Carbonate Fractures
$159.99
Technologie/Technik Formelsammlung
$29.99
Software Reliability Growth Models
$109.99
Tectonic Evolution of the Tethyan Region
$259.00
Value in Business
$159.99
Die perfekte Candidate Journey & Experience
$44.99
Neue Tabellen fr exzentrisch gedrckte Eisenbetonquerschnitte
$54.99
A European Transient Simulation Model for Thermal Solar Systems
$329.99
Numerische Berechnung linearer Netzwerke und Systeme
$49.99
Keyhole Approaches in Neurosurgery
$359.00
