Sciences, Technology & Medicine
Formal Verification of Object-Oriented Software (English, Bernhard Beckert | Claude Marché)
₹5,483
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9783642180699 |
| ISBN-10 | 3642180698 |
Product Description
About the Book
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 indu…
ISBN: 9783642180699
Frequently Asked Questions
What is the price of Formal Verification of Object-Oriented Software?
Formal Verification of Object-Oriented Software is available at ₹5,483 on BookShops.in.
Does BookShops.in offer free delivery for Formal Verification of Object-Oriented Software?
FREE delivery on all orders for Formal Verification of Object-Oriented Software.
Is Cash on Delivery available for Formal Verification of Object-Oriented Software?
Yes, Cash on Delivery (COD) is available for Formal Verification of Object-Oriented Software on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Verification of Object-Oriented Software?
BookShops.in offers a 15-day hassle-free return policy for Formal Verification of Object-Oriented Software. Contact us at support@bookshops.in or call +91 81899 68108.
Is Formal Verification of Object-Oriented Software authentic?
Formal Verification of Object-Oriented Software is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Related Products
View All
-43%Sciences, Technology & Medicine
Democratic Choice and Taxation (English, Walter Hettich | Stanley L. Winer)
₹5,311₹9,385
-78%Sciences, Technology & Medicine
Molecular Breeding of Woody Plants (English, Noriyuki Morohoshi | Atsushi Komamine)
₹5,209₹23,985
Sciences, Technology & Medicine
Semiparametric Regression for the Applied Econometrician (English, Adonis Yatchew)
₹4,788
Sciences, Technology & Medicine
Costs and Productivity in Automobile Production (English, Melvyn A. Fuss | Leonard Waverman)
₹4,327
-74%Sciences, Technology & Medicine
Financial Products (English, Bill Dalton)
₹5,108₹19,961
-62%Sciences, Technology & Medicine
Grundlagen Und Grenzen Des Folterverbotes in Verschiedenen Rechtskreisen (English, Anja Katarina Weilert)
₹5,407₹14,329