Formal Methods (English, Jim Davies | Leila Silva | Adenilso Simao)
by Jim Davies | Leila Silva | Adenilso Simao
Delivery options
₹5,534
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,534
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642198281
ISBN-10
3642198287
Author
Jim Davies | Leila Silva | Adenilso Simao
About the Book
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in…
ISBN: 9783642198281
ISBN-13: 9783642198281
ISBN-10: 3642198287
Frequently Asked Questions
What is the price of Formal Methods?
Formal Methods starts from ₹5534 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Formal Methods?
Jim Davies | Leila Silva | Adenilso Simao is the author of Formal Methods. Browse more books by Jim Davies | Leila Silva | Adenilso Simao on BookBajar.
Is Formal Methods available in Paperback and Hardcover?
Yes, Formal Methods is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Methods?
Yes, BookBajar offers free delivery for Formal Methods across India. No minimum order value required.
Is Cash on Delivery available for Formal Methods?
Yes, Cash on Delivery (COD) is available for Formal Methods on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783642198281
🛒 Customers Also Bought
Die Nachlaßsachen in Der Gerichtlichen PRAXIS (English, F. -J Finke | Arthur Brand | J. Kleeff)
₹4,052
Die Berechnung Verankerter Hängebrücken (English, Na Bleich)
₹4,022
Elektrische Antriebstechnik (English, Fritz Kümmel)
₹3,594
Die Elektronenröhre ALS Physikalisches Meßgerät (English, Josef Schintlmeister)
₹3,703
Ministerielle Richtlinien Der Gesetzestechnik (English, H. Kindermann)
₹4,152
Handbuch Zum Internetrecht (English, Detlef Kröger | Marc A. Gimmy)
₹4,142Related 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