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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Childhood and Biopolitics
$54.99
Phylogenetische Systematik
$39.99
Chinese Lexical Semantics
$109.99
Ideologie
$29.99
Catalina Incognito
$5.21
The Literary Imagination in Israel-Palestine
$39.99
Seismic Vulnerability Index Assessment Framework of RC Structures
$39.99
Shaping British Foreign and Defence Policy in the Twentieth Century
$129.99
Geometric Methods and Optimization Problems
$129.00
Ein univariables konomisches Analyse- und Prognosemodell
$59.99
Associative and Endophytic Nitrogen-fixing Bacteria and Cyanobacterial Associations
$169.99
An den Grenzen des Endlichen
$74.99
API Management
$39.99
Haemodialysis
$39.99
Krankheiten Durch Aktinomyzeten und Verwandte Erreger Wechselwirkung Zwischen Pathogenen Pilzen und
$69.99
Physics and Mechanics of New Materials and Their Applications
$219.99
Singularities and Groups in Bifurcation Theory
$149.00
Mechanism of Functional Expression of the Molecular Machines
$54.99
Markenportfoliobereinigungen
$69.99
Die Ltrohranalyse
$44.99
The Unified Process for Practitioners
$74.99
Stream Ecology
$109.99
Optimization in Artificial Intelligence and Data Sciences
$159.99
British Strategy and Intelligence in the Suez Crisis
$99.99
Digital Labour and Prosumer Capitalism
$109.99
Hydrological Forecasting
$84.99
Reflections on 21st Century Human Habitats in India
$159.99
Greenhouse Gases: Sources, Sinks and Mitigation
$199.99
Soziologen als Berater
$59.99
Base Colonies in the Western Hemisphere, 19401967
$54.99
Advances in Monetary Policy and Macroeconomics
$109.99
Mindfulness and Buddhist-Derived Approaches in Mental Health and Addiction
$89.99
Das Niederlandische Faustspiel des Siebzehnten Jahrhunderts
$59.99
Die atmosphrischen Kondensationskerne in ihrer physikalischen, meteorologischen und bioklimatischen
$54.99
ber Aufbau, Eigenschaften und Prfmethoden feuerfester Mrtel
$59.99
The End of Russian Philosophy
$54.99
Telephone Surveys in Europe
$169.99
Compressive Sensing for the Photonic Mixer Device
$99.99
Lifestyle Brands
$79.99
Trend Management
$44.99
