Copied Formal Verification of Object-Oriented Software
Formal Verification of Object-Oriented Software
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.
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
Culture in World Politics
$109.99
e-Infrastructure and e-Services for Developing Countries
$39.99
Open Innovation
$59.99
Homogenisation: Averaging Processes in Periodic Media
$84.99
Self-defense in Islamic and International Law
$39.99
Unleugbare Daten und digitale Whrungen
$37.99
Culture and Archaeology of the Ancestral Unangax/Aleut of the Aleutian Islands, Alaska
$59.99
Computer Applications in the Earth Sciences
$39.99
The Biochemistry of the Nucleic Acids
$249.99
Gender Politics and Mass Dictatorship
$99.00
Stochastic Systems: The Mathematics of Filtering and Identification and Applications
$329.99
Lymphoid Organogenesis
$129.00
Unbecoming
$9.74
General Concepts in Integrated Pest and Disease Management
$219.99
Advances in CT IV
$109.99
Sociolegal Control of Homosexuality
$129.00
Heart Disease Diagnosis and Therapy
$169.00
The Manipulation of Choice
$109.99
Nonlinear Equations for Beams and Degenerate Plates with Piers
$54.99
Junior Learning Decodable Readers Sound Families Long Vowels Non-fiction Phase 5.5
$29.99
A Cp-Theory Problem Book
$54.99
Extraordinary Rendition and Human Rights
$44.99
Biodegradation of Nitroaromatic Compounds
$169.99
Lebensmitteltoxikologie
$39.99
Early Navigation in the Asia-Pacific Region
$249.99
Transplantation
$69.95
Elliptic and Parabolic Problems
$84.99
Echokardiographie-Handbuch
$79.99
Wavewalker- A Memoir of Breaking Free by Suzanne Heywood
$28.99
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
$109.99
Wettbewerbsvorteile durch Wissen
$49.99
HIV Protocols
$109.99
Gestaltung von Wertschpfungsnetzwerken
$59.99
SME Cluster Development
$109.99
Trust Management in the Chinese E-Commerce Market
$119.00
International Joint Conference: 12th International Conference on Computational Intelligence in Secur
$169.99
Advances in Mechanical Engineering
$199.99
A Novel Approach to Relativistic Dynamics
$169.99
Cloud Computing and Services Science
$54.99
Systemischer Zyklus und institutioneller Wandel
$89.99
