Formal Methods and Software Engineering (English, Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie)
by Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie
Delivery options
₹5,586
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,586
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540766483
ISBN-10
3540766480
Author
Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie
About the Book
This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical s…
ISBN: 9783540766483
ISBN-13: 9783540766483
ISBN-10: 3540766480
Frequently Asked Questions
What is the price of Formal Methods and Software Engineering?
Formal Methods and Software Engineering starts from ₹5586 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Formal Methods and Software Engineering?
Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie is the author of Formal Methods and Software Engineering. Browse more books by Michael Butler | Michael G. Hinchey | Maria M. Larrondo-Petrie on BookBajar.
Is Formal Methods and Software Engineering available in Paperback and Hardcover?
Yes, Formal Methods and Software Engineering is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Methods and Software Engineering?
Yes, BookBajar offers free delivery for Formal Methods and Software Engineering across India. No minimum order value required.
Is Cash on Delivery available for Formal Methods and Software Engineering?
Yes, Cash on Delivery (COD) is available for Formal Methods and Software Engineering on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540766483
🛒 Customers Also Bought
Parallelschalten Von Wechselstrom-Maschinen (English, Werner Skirl)
₹5,937
Signale Und Übertragungssysteme (English, Werner Rupprecht)
₹3,709
1958/61 (English, R. Schwab | W. Becker)
₹5,966
Lokale Rechnernetze (English, Bernd Lindemann)
₹4,178
Zweiunddreißigster Band 1969/71 (English, R. Schwab | W. Becker)
₹4,139
Well Logging for Earth Scientists (English, Darwin V. Ellis | Julian M. Singer)
₹6,400Related Products
Das Raum-Zeit-Problem Bei Kant Und Einstein (English, Ilse Schneider)
₹5,864
Advances in Cryptology (English, Hugh C. Williams)
₹5,656
Gödel's Incompleteness Theorems (English, Dirk W. Hoffmann)
₹3,839
Anleitung Für Die Beobachter an Den Wetterbeobachtungsstellen Des Deutschen Reichswetterdienstes (English, Reichsamt Fur Wetterdienst)
₹3,721
Festschrift David Hilbert Zu Seinem Sechzigsten Geburtstag Am 23. Januar 1922 (English, O. Blumenthal | R. Courant | G. Hamel)
₹3,485