Copied Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
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
Ranking: Die besten Manager - Stiftungsvermgen 2013
$69.99
The Boy Who Dared
$6.74
Wirtschaftsdidaktische Lerndiagnostik und Komplexitt
$69.99
Semiclassical Methods in Molecular Scattering and Spectroscopy
$84.99
Polytrauma und Stoffwechsel
$69.99
Management and Leadership for a Sustainable Africa, Volume 1
$179.99
Offshore Access Gangways
$19.99
Cinemas Dark and Slow in Digital India
$119.99
Comprehensive Virology
$39.99
Stochastic Modelling and Control
$39.99
Theory, Justice, and Social Change
$109.99
Baustatik in Beispielen
$54.99
The Euroschool Lectures on Physics with Exotic Beams, Vol. III
$54.99
Marketing praxisnah
$69.95
Advances in Ergonomic Design of Systems, Products and Processes
$219.99
The Lasting Influence of the War on Postwar British Film
$54.99
Calculus
$16.64
Robot sensors and transducers
$119.99
Coral Health and Disease
$219.99
Prozessorientiertes Controlling
$69.99
Hepatic Caudate Lobe Resection
$169.00
Cell-Wide Identification of Metabolite-Protein Interactions
$89.00
Praktische Umweltmedizin
$69.99
Living with Our Suns Ultraviolet Rays
$39.99
Addressing Environmental and Food Justice toward Dismantling the School-to-Prison Pipeline
$119.99
Contrast Media
$59.99
Graphical Heritage
$169.00
Angiologische Notflle
$59.99
Sampled-data Control of Logical Networks
$169.99
Normed Linear Spaces
$39.99
Selective Incapacitation and the Serious Offender
$39.99
Investigating Dickens' Style
$109.99
Zyklos 2
$49.99
Rentabilitt im Bankensektor
$89.99
Kontinuum, Analysis, Informales Beitrge zur Mathematik und Philosophie von Leibniz
$37.99
Binary Code Fingerprinting for Cybersecurity
$169.99
Apologies and the Legacy of Abuse of Children in 'Care'
$39.99
Synchronisation in kooperativen Systemen
$39.99
Kipling and Beyond
$54.99
The Morality of Radical Economics
$120.00
