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:
Buy Formal Verification of Object-Oriented Software for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Smart and Sustainable Engineering for Next Generation Applications
$219.99
The Theory of Crystal Structure Analysis
$54.99
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and
$54.99
The American Success Myth on Film
$39.99
The European Union and Crisis Management
$109.99
Sustainable Leadership for Entrepreneurs and Academics
$169.99
The Internet of Things
$84.99
Chemokine Roles in Immunoregulation and Disease
$129.00
Re-Reading Tragic Africa
$119.99
Die Freude am Unternehmertum in kleinen und mittleren Unternehmen
$69.99
Nachhaltigkeit und Digitalisierung
$74.99
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics
$84.99
Reflexive soziale Mechanismen
$59.99
Molecular Electronics
$219.99
MARINE 2011, IV International Conference on Computational Methods in Marine Engineering
$84.99
Varieties of Lattices
$29.99
The SECD Microprocessor
$84.99
Barnes & Noble Life Skills Book for Teens: Everything You Need to Know to Be More Independent by Maureen Stiles
$12.99
The Little Book of Empathy: Enrich your life through compassion and kindness by Kirsten Riddle
$9.99
Automated Technology for Verification and Analysis
$54.99
Single Cell Protein Production from Lignocellulosic Biomass
$39.99
Qualitative Analyse auf prparativer Grundlage
$59.99
Human Behavior Analysis: Sensing and Understanding
$109.00
Scholar Zone Summer Reading & Writing and Math Grade K
$1,150.00
Advances in Cryptology EUROCRYPT 97
$39.99
Die Volkspartei
$44.99
Logics of Programs
$39.99
Spaces of Vector-Valued Continuous Functions
$29.99
rztliche Dokumentationspflicht und Einsichtsrecht in Patientenakten
$69.99
Gene and Cell Therapies for Beta-Globinopathies
$169.99
Creating Low Carbon Cities
$109.00
Mars Unser geheimnisvoller Nachbar
$44.99
Bioreactors for Tissue Engineering
$219.99
Handbook of Clinical Rating Scales and Assessment in Psychiatry and Mental Health
$149.00
Unresolved problems in Haemophilia
$54.99
Dynamic Failure of Composite and Sandwich Structures
$169.00
Transactional Machine Learning with Data Streams and AutoML
$69.99
Pioneers in Neuroendocrinology
$39.99
Adaptivity as a Transformative Disposition
$84.99
Animal Manure on Grassland and Fodder Crops.Fertilizer or Waste?
$169.00
