Copied Software Verification
Software Verification
This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much 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
|
|
$44.99 | $44.99 |
|
$40.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Kommentar zum Arzneimittelgesetz (AMG)
$129.00
Volume 1: Mechanisms of Inorganic and Organometallic Reactions
$54.99
Poppleton in Summer: An Acorn Book (Poppleton #6)
$4.49
Mechanics and Properties of Composed Materials and Structures
$84.99
Der Erkenntniswert von Rechtswissenschaft fr andere Disziplinen
$74.99
Rarefied Gas Dynamics
$39.99
The Fundamentals of Computational Intelligence: System Approach
$169.99
Modification and Blending of Synthetic and Natural Macromolecules
$129.00
Epigenome Editing
$169.99
Morse Theoretic Methods in Nonlinear Analysis and in Symplectic Topology
$329.99
Nonlinear Stochastic Dynamic Engineering Systems
$109.99
Research Methods and Data Analysis for Business Decisions
$109.99
This Other Eden- A Novel by Paul Harding
$28.00
Grundbegriffe der Soziologie
$64.99
Limitations and Potentials for Biological Nitrogen Fixation in the Tropics
$84.99
I Survived True Stories #4: Courageous Creatures
$5.99
Norways Peace Policy
$39.99
Social Responses to Technical Systems
$169.99
Computational Kinematics 95
$39.99
Two-Dimensional Superconductivity in Rare Earth Oxybismuthides with Unusual Valent Bismuth Square Ne
$199.99
Vergleichende politikwissenschaftliche Methoden
$59.99
Innovating Firm
$54.99
Intersections of Gender, Religion and Ethnicity in the Middle Ages
$54.99
National Geographic Kids Ultimate Weird but True: 1,000 Wild & Wacky Facts and Photos by National Geographic
$19.95
Restructuring Schools
$109.99
Gewerbebetriebe und Mietrecht
$59.99
Scientific Computing with Mathematica
$84.99
Soft Computing and Its Engineering Applications
$79.99
Reflexive Wissensproduktion
$39.99
Kant on Morality, Humanity, and Legality
$129.99
South American Sauropodomorph Dinosaurs
$249.99
Cystic Fibrosis
$89.00
Modeling, Mesh Generation, and Adaptive Numerical Methods for Partial Differential Equations
$279.99
Statistical Physics of Nanoparticles in the Gas Phase
$84.99
Bell Summer PreK (2 scholar)
$155.00
Handbook of Psychopharmacology
$39.99
Mathematik und Biologie
$59.99
Handbuch Postkolonialismus und Literatur
$89.00
Energy Technology 2016
$109.00
Migration, Agriculture and Rural Development
$22.99
