Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Formal Verification of Object-Oriented Software
Best Price (Coupon Required):
Buy Formal Verification of Object-Oriented Software for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Annals of the Metropolitan Opera
$74.99
Enterprise Java Development on a Budget
$59.99
Brain, Mind and Consciousness
$84.99
Pathophysiology and Rational Pharmacotherapy of Myocardial Ischemia
$39.99
The Kalman Filter in Finance
$109.99
Methods and Tools for Collaborative Networked Organizations
$169.99
The Statistical Theory of Shape
$109.99
Uncertainty Reasoning for the Semantic Web I
$39.99
The Ethics of Rapid Tissue Donation (RTD)
$54.99
Alpine Ecosystems in the Northwest Caucasus
$219.99
Nano and Biotech Based Materials for Energy Building Efficiency
$109.99
Genetics of Dyslipidemia
$129.00
Renewable Energy Communities and the Low Carbon Energy Transition in Europe
$129.99
XIII General Meeting of the Russian Mineralogical Society and the Fedorov Session
$39.99
The Culture of Reconstruction
$34.99
Trade, Environment and Sustainable Development
$84.99
Lectures on Modules and Rings
$69.99
Magnesium Technology 2024
$229.00
Interventional Oncology
$179.99
Hardware and Software Projects Troubleshooting
$49.99
Vererbung und Seelenleben
$59.99
Pig the Pug (Pig the Pug Series) by Aaron Blabey
$14.99
Gluten-free Bread Technology
$219.99
Personalentwicklung in Banken
$39.99
Cloud Computing and Security
$54.99
Belonging, Identity, Time and Young Peoples Engagement in the Middle Years of School
$54.99
Festgabe fr Rudolf von Gneist zum Doktorjubilum am XX. November MDCCCLXXXVIII
$59.99
Optimierung der Diagnostik
$69.99
Der ambivalente Frieden
$37.99
Der Einflu mangelhafter elektrischer Anlagen auf die Feuersicherheit besonders in der Landwirtschaf
$59.99
Springer Tracts in Modern Physics 11
$54.99
Analysis of biological processes
$109.99
Yoga for Beginners - Simple Yoga Poses to Calm Your Mind and Strengthen Your Body by Cory Martin
$15.99
Feeding Occupied France during World War I
$99.99
Craniomaxillofacial Reconstructive and Corrective Bone Surgery
$189.00
Challenges of Urban Mobility, Transport Companies and Systems
$129.00
mTOR Inhibition for Cancer Therapy: Past, Present and Future
$109.99
Postmodern Metanarratives
$39.99
Agentenbasierte Schwarmintelligenz
$64.99
C++ and Object-Oriented Numeric Computing for Scientists and Engineers
$99.99
