Home ›Springer ›Formal Methods for Components and Objects (English, Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf)
Springer
Formal Methods for Components and Objects (English, Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf)
₹5,700
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
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
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540229421 |
| ISBN-10 | 3540229426 |
| Author | Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf |
