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 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.
Reviews
Questions & Answers
Astronomy of Ancient Egypt
$179.99
Next Generation Sequencing in Cancer Research
$199.99
Algorithmic Differentiation in Finance Explained
$37.99
8th International Conference on Automated Deduction
$39.99
Die Verlsslichkeit von Anhangangaben im IFRS-Abschluss
$74.99
Die lfeuerungstechnik
$79.99
Organizations and Strategies in Astronomy 7
$219.99
Gesteine bestimmen und verstehen
$44.99
Grundschulpdagogik zwischen Wissenschaft und Transfer
$59.99
Verkehrssicherheitskommunikation
$39.99
Moral Dilemmas in Real Life
$84.99
Recent Advancements in Artificial Intelligence
$299.99
Perspektiven der empirischen Alter(n)ssoziologie
$59.99
Benchmarking, Measuring, and Optimizing
$39.99
Die Musik kommt!
$69.99
Brain-Stem Localization and Function
$84.99
Das Narrativ von der Wiederkehr der Religion
$64.99
Angewandte Induktive Statistik und Statistische Testverfahren
$24.99
Proceedings of the Tenth International Conference on Management Science and Engineering Management
$219.99
Italy since 1989
$36.00
Reliability Assessment of Cyclically Loaded Engineering Structures
$54.99
My Books Summer Grade 1 Fiction 5-Book Pack
$29.95
Trust and Inspire- How Truly Great Leaders Unleash Greatness in Others by Stephen M. R. Covey
$18.99
Global Report on Student Well-Being
$169.99
Mittelstand im Fokus
$74.99
Biology of Algae, Lichens and Bryophytes
$129.99
The Logic of Wish and Fear: New Perspectives on Genres of Western Fiction
$54.99
Organisation komplexer Entscheidungen
$59.99
Lesbians in Television and Text after the Millennium
$54.99
Security, Privacy, and Applied Cryptography Engineering
$39.99
DERIVE fr den Mathematikunterricht
$29.99
Games in Operations Management
$129.00
Competition-Based Neural Networks with Robotic Applications
$54.99
Multimodal Brain Image Analysis
$69.99
Waveguide Nonlinear-Optic Devices
$169.99
Psychiatry in Communist Europe
$129.99
Naturwissenschaft - Rstung - Frieden
$44.99
Neuordnung der Lehrerausbildung
$59.99
Sports Injuries to the Shoulder and Elbow
$109.00
Employees' Emotional Intelligence, Motivation & Productivity, and Organizational Excellence
$59.99
