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
Fall: Pumpkin Time
$3.71
The Wizard of Quarks
$44.99
Vom Wesen der Buttersure- und Butylalkoholgrung
$79.99
Advances in Solid State Physics 48
$169.99
Ein Querschnitt Durch die Arbeit der Tbinger Nervenklinik
$59.99
Stereotactic and Functional Neurosurgery
$169.99
Grundzge der Technischen Schwingungslehre
$59.99
Wireless Sensor Networks
$64.99
Policy Adjustment in Africa
$59.99
Die antike Mathematik
$49.99
Biology of the Uterus
$84.99
Ich bin nicht dick, ich habe nur schwere Gene
$24.99
New Antibody Microarray Tube for Cellular Localization and Signaling Pathways
$129.00
British Foreign Policy in the Atlantic Area
$29.99
Return Migration and Crises in Non-Western Countries
$109.00
Einfhrung in die Allgemeine und Spezielle Vererbungspathologie des Menschen
$69.95
The European Landscape Convention
$219.99
Alter(n) als Gesellschaftliches Problem?
$44.99
IUTAM Symposium on Recent Advances in Moving Boundary Problems in Mechanics
$129.00
Ultrasonic Spectral Analysis for Nondestructive Evaluation
$39.99
Die Geburt der Quantenphysik
$17.99
Weaponising Investments
$169.99
Toward a Molecular Basis of Alcohol Use and Abuse
$54.99
Breast Cancer: Progress in Biology, Clinical Management and Prevention
$169.99
MRI Atlas of MS Lesions
$169.99
Saddlepoint Approximation Methods in Financial Engineering
$54.99
Behandlungsplanung in der Notaufnahme von Krankenhusern
$74.99
Asset-Backed Securities
$59.99
Beitrge zur Epidemiologie von Infektionskrankheiten am Modell der humanen Herpesviren
$69.99
Governance, Risk and Financial Impact of Mega Disasters
$109.00
Soft Computing in der Bioinformatik
$39.99
Der Wandel nach der Wende
$59.99
Die Kunst des Miteinanders
$37.99
Wilhelm Webers Werke
$59.99
Hitting the Wall
$19.99
MEMS Vibratory Gyroscopes
$199.99
Beginning PyQt
$69.99
Grundkurs Wirtschaftsinformatik
$59.99
Polymeric Separation Media
$39.99
Computational Optical Phase Imaging
$159.99
