Sciences, Technology & Medicine
Formal Methods for Components and Objects (English, Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf)
₹5,700
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 | 9783540229421 |
| ISBN-10 | 3540229426 |
Product Description
About the Book
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lec…
ISBN: 9783540229421
Frequently Asked Questions
What is the price of Formal Methods for Components and Objects?
Formal Methods for Components and Objects is available at ₹5,700 on BookShops.in.
Does BookShops.in offer free delivery for Formal Methods for Components and Objects?
FREE delivery on all orders for Formal Methods for Components and Objects.
Is Cash on Delivery available for Formal Methods for Components and Objects?
Yes, Cash on Delivery (COD) is available for Formal Methods for Components and Objects on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Methods for Components and Objects?
BookShops.in offers a 15-day hassle-free return policy for Formal Methods for Components and Objects. Contact us at support@bookshops.in or call +91 81899 68108.
Is Formal Methods for Components and Objects authentic?
Formal Methods for Components and Objects 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