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
Strategische Frhwarnsysteme fr politische Auslandsrisiken
$44.99
Szene und soziale Ungleichheit
$59.99
War Memory and East Asian Conflicts, 19301945
$119.00
Communicative Structures and Psychic Structures
$109.00
Images of Italian Mathematics in France
$169.99
Nilpotent Lie Algebras
$169.99
Systematic Exploration of Indolizine-Based Fluorescent Molecules
$109.99
Economic, Social and Cultural Rights
$109.99
Image Processing Techniques in Astronomy
$169.99
Development and Environmental Policy in India
$59.99
The Embryonic Development of Drosophila melanogaster
$74.99
Arbeitslosigkeit und Wohlfahrtsstaat in Westeuropa
$59.99
Integrated Frequency Synthesis for Convergent Wireless Solutions
$109.99
Security, Privacy and Data Analytics
$139.99
Deutschsprachige Psychologinnen und Psychologen 19331945
$59.99
AWS IoT With Edge ML and Cybersecurity
$54.99
Real Alternatives, Leibnizs Metaphysics of Choice
$84.99
The Illegal Wildlife Trade
$139.99
Interdisciplinarity in Entrepreneurship
$109.00
The Strategic Logic of Chinas Economy
$129.99
Proceedings of the 2nd International Conference on Mechanical System Dynamics
$499.99
Geometry of Banach Spaces, Duality Mappings and Nonlinear Problems
$54.99
Green Crime in the Global South
$169.99
Agro-geoinformatics
$149.00
Planetary Praxis & Pedagogy
$39.99
Untersuchungen ber die physiologische Bedeutung der chymochromen Farbstoffe
$59.99
New Frontiers in Mining Complex Patterns
$54.99
Wenn Thomas Mann Ihr Kunde wre
$37.99
Kognitive Verzerrungen bei Managemententscheidungen
$64.99
Multiple Perspectives on Difficulties in Learning Literacy and Numeracy
$129.00
Mastering the Acquirer's Innovation Dilemma
$109.99
The Red Fruit
$6.71
Post-Yugoslavia
$54.99
Beitrag zur quantitativen Phasenanalyse von Mischgipsen des Systems CaSO4 H2O
$59.99
Die mikroskopischen Pilze
$84.99
Norms, Interests, and Power in Japanese Foreign Policy
$39.99
Crystalline Bacterial Cell Surface Layers
$84.99
Ueber die Entwicklung des Kampfschiffes
$49.99
Quadratic Mappings and Clifford Algebras
$109.99
Mechanics of Composite and Multi-functional Materials, Volume 7
$219.99
