Checkout

Billing details

Additional information

Your order

Product Subtotal
[PDF] Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers June Andronick (auth.), Bernhard Beckert, Claude March? (eds.)  × 1 $19.99
Subtotal $19.99
Total $19.99
  • Pay via PayPal.

Your personal data will be used to process your order, support your experience throughout this website, and for other purposes described in our privacy policy.