Formal Methods (English, Adenilso Simao | Carroll Morgan)
by Adenilso Simao | Carroll Morgan
Delivery options
₹5,703
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,703
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642250316
ISBN-10
3642250319
Author
Adenilso Simao | Carroll Morgan
About the Book
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in fo…
ISBN: 9783642250316
ISBN-13: 9783642250316
ISBN-10: 3642250319
Frequently Asked Questions
What is the price of Formal Methods?
Formal Methods starts from ₹5703 at GlowMirror. Available in Paperback.
Who is the author of Formal Methods?
Adenilso Simao | Carroll Morgan is the author of Formal Methods. Browse more books by Adenilso Simao | Carroll Morgan on GlowMirror.
Is Formal Methods available in Paperback and Hardcover?
Yes, Formal Methods is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Formal Methods?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642250316
🛒 Customers Also Bought
Unsere Einsame Erde (English, Peter D. Ward | E. Helmers | Donald Brownlee)
₹4,237
Befundung Und Nomenklatur Bei Ultraschalluntersuchungen Innerer Organe (English, Deutsche Gesellschaft Für Ultraschall in | Österreichische Gesellschaft Für Ultrasc)
₹4,965
Leitfaden Zur Röntgendiagnostik (English, Hannelore Wagschal | Dieter Quilitz)
₹4,965
Die Grossglockner-Hochalpenstrasse (English, Franz Wallack)
₹3,508
Kindliche Kompetenzen (English, Arnold Lohaus)
₹1,208
Wo Fehlt´s Uns Denn Heute? Wie Patienten Und Ärzte Besser Miteinander Umgehen Können (English, Christian Schlesiger | Alban Braun)
₹1,573Related Products
Paläoanthropologie (English, Winfried Henke | Hartmut Rothe)
₹4,601
Ophthalmology (English, Nicholas R. Galloway | Stephen A. Vernon)
₹5,475
L'Approccio Integrato AI Disturbi Mentali (English, Ferdinando Pellegrino)
₹3,626
Auflösung Von Kristallen (English, R. B. Heimann)
₹4,965
Psychiatrie Und Psychotherapie (English, H. Berger | Horst Dilling | Christian Reimer)
₹5,030