Copied Verified Software. Theories, Tools and Experiments
Verified Software. Theories, Tools and Experiments
This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 2324, 2023. The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.
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
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Scattering Amplitudes in Gauge Theories
$64.99
Hydrogen Technology
$299.00
New Postcolonial British Genres
$109.00
Neuroleptika bei nichtpsychotischen Strungen
$69.99
Brain Injury and Protection During Heart Surgery
$219.99
Supply Management Research
$44.99
JPEG
$329.99
The Substance of Truth
$49.99
Commutative Algebras of Toeplitz Operators on the Bergman Space
$109.99
Mixed Methods in der Managementforschung
$39.99
Golf and Wind
$109.99
Schattenperspektive
$69.99
Common Chinese Materia Medica
$109.99
Arithmetic Groups
$29.99
Observing Comets
$54.99
Mangrove Ecology, Silviculture and Conservation
$219.99
Modeling of Biological Materials
$169.99
Games and Narrative: Theory and Practice
$139.00
Stochastic Finite Elements: A Spectral Approach
$129.00
Medizin und Haftung
$159.00
Fhrungspraxis und Zukunftsgestaltung in Familienunternehmen
$59.99
Acoustic MIMO Signal Processing
$109.99
Analysis II
$19.99
Socialism: Institutional, Philosophical and Economic Issues
$39.99
Who Would Win?: Polar Bear vs. Grizzly Bear
$2.99
Thrombin
$39.99
Abandoning American Neutrality
$54.99
Acoustic Metamaterials and Phononic Crystals
$149.00
Information Security and Privacy
$99.99
Historische Entwickelung der taktischen Uebungen der Preuischen Infanterie
$49.99
Polyfold and Fredholm Theory
$189.00
Systems Theory in the Social Sciences
$54.99
The Palgrave Handbook of Public Administration and Management in Europe
$389.00
The History of British Women's Writing, 1690 - 1750
$84.99
Moloy's Evaluation of the Pelvis in Obstetrics
$39.99
Uncle Tom's Cabin on the American Stage and Screen
$54.99
Die anachronistische Souvernitt
$59.99
Computer Information Systems - Analysis and Technologies
$54.99
Expansive Bildungspolitik Expansive Bildung?
$69.99
Postwar Anti-Racism
$54.99
