Formal Methods for Components and Objects (English, Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf)
by Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
Delivery options
₹5,700
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,700
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540229421
ISBN-10
3540229426
Author
Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
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
ISBN-13: 9783540229421
ISBN-10: 3540229426
Frequently Asked Questions
What is the price of Formal Methods for Components and Objects?
Formal Methods for Components and Objects starts from ₹5700 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Formal Methods for Components and Objects?
Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf is the author of Formal Methods for Components and Objects. Browse more books by Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf on BookBajar.
Is Formal Methods for Components and Objects available in Paperback and Hardcover?
Yes, Formal Methods for Components and Objects is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Methods for Components and Objects?
Yes, BookBajar offers free delivery for Formal Methods for Components and Objects across India. No minimum order value required.
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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540229421
🛒 Customers Also Bought
Bautechnik (English, Horst Becker | H. Becker)
₹4,090
Ernährungspsychologie (English, Iwer Diedrichsen)
₹3,654
Untersuchungen Über Den Säuregrad Des Weines Auf Grund Der Neueren Theorien Der Lösungen (English, Theodor Paul | Adolf Günther | Robert Otzen)
₹5,935
Handbuch Der Modellstatik (English, E. Haas | R. K. Müller)
₹4,850
Interaktive Breitbandkommunikation (English, W. Kaiser)
₹4,118
Die Kostenberechnung Der Bautischlerarbeiten (English, F. Schrom | F. Thiel)
₹4,190Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883