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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Parabeln und Gleichungen
$49.99
Conformally Invariant Metrics and Quasiconformal Mappings
$129.99
Speech Acoustics and Phonetics
$109.99
FTK97
$69.99
Distributions with given Marginals and Moment Problems
$109.99
Grenzflchenerscheinungen
$49.99
Genitourinary Infections
$54.99
Antigen Processing and Presentation Protocols
$84.99
Navigating the Changing Landscape of Formal and Informal Science Learning Opportunities
$54.99
Information, Organisation and Technology
$169.00
Biomechanics, Muscle Fibers, and How to Interface Experimental Apparatus to a Computer
$109.99
Sexueller Missbrauch von Kindern und Jugendlichen
$74.99
Reforming Learning
$169.99
Clouds
$3.71
Optical Cooling Using the Dipole Force
$84.99
Surface Models for Geosciences
$109.99
Markov Models for Handwriting Recognition
$54.99
Beliefs von Lehrkrften zum Lehren und Lernen von Arithmetik
$69.99
The Sound of Silence
$249.99
From Conventionalism to Social Authenticity
$109.99
Zwischen Anarchie und Strategie
$69.99
Effektive Sicherheit
$74.99
The Dense Interstellar in Galaxies
$219.99
Cyclic Nucleotide Signaling in Plants
$109.99
The Right Medicine
$49.99
Post-Transcriptional Gene Regulation
$139.99
Fundamentals of Queueing Networks
$99.99
Pacific Dream? The Evolution of US Strategic Culture and Alliances in the Indo-Pacific
$139.99
Methoden der Automatisierung
$49.99
Recent Advances in Structural Engineering, Volume 2
$169.00
Makarios
$49.99
The Arterial Chemoreceptors
$259.00
Critical Perspectives on Technology and Education
$39.99
Recipes and Songs
$99.99
Experience Design
$24.99
Prolate Spheroidal Wave Functions of Order Zero
$109.99
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations and Control Theory
$109.99
Grundlagen der Neuro-Psychopharmakologie
$139.99
Metagenomics
$139.99
Philosophische Gesprche in Schulrumen
$59.99
