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 2011, held in Turin, Italy, in October 2011 organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 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 2011 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
IT-Marketing
$49.99
Algorithms and Data Structures in VLSI Design
$54.99
Telemonitoring in Gesundheits- und Sozialsystemen
$59.99
Rheumatismus und Grenzgebiete
$59.99
Principles of Insect Pathology
$259.00
Between Resistance and Collabration
$109.99
Physics-Compatible Finite Element Methods for Scalar and Tensorial Advection Problems
$69.99
Characterization of Nanoparticles Intended for Drug Delivery
$199.99
The Dominant Influence of Marketing in the 21st Century
$39.99
Manual of Biological Markers of Disease
$54.99
Complex Syntax in the Language of Persons with Down Syndrome
$44.99
The Protests of Job
$39.99
Die Brgerbewegungen in der DDR und in den ostdeutschen Bundeslndern
$59.99
Advanced Systems for Environmental Monitoring, IoT and the application of Artificial Intelligence
$199.99
Primary Productivity of the Biosphere
$109.99
Regime Changes and Socio-economic History of Rural Myanmar, 1986-2019
$139.99
The Study of Time IV
$39.99
Prosody in Speech Understanding Systems
$39.99
Biology of the Uterus
$109.99
Religion and Public Diplomacy
$54.99
Global Banking Crises and Emerging Markets
$84.99
Mathematik fr Ingenieure
$49.99
Housing and SDGs in Urban Africa
$139.99
Patellofemoral Pain, Instability, and Arthritis
$129.00
Nachrichtenbertragung ber Satelliten
$59.99
Complex Orthogonal Space-Time Processing in Wireless Communications
$129.00
Noah's Walk
$6.71
Krieg und Menschlichkeit
$54.99
Critical Care Neurology and Neurosurgery
$299.99
En Plein Air: Light & Color
$15.13
Making Spaces
$63.46
Crisis Resolution in the Thrift Industry
$39.99
Case Studies of Postoperative Complications after Digestive Surgery
$169.99
Hydraulik und Pneumatik
$29.99
Treaties and Executive Agreements in the United States
$54.99
Problems of Point Blast Theory
$109.99
Speed Control
$39.99
Human Aspects of IT for the Aged Population. Technology Design and Acceptance
$39.99
Der kreative Entrepreneur
$74.99
Video Cultures
$54.99
