Formal Methods for Quantitative Aspects of Programming Languages (English, Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro)
by Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro
Delivery options
₹5,468
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,468
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642136771
ISBN-10
364213677X
Author
Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro
About the Book
This volume presents the set of papers accompanying some of the lectures of the 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience as a prominent approachto the rigorousdesign of the above-mentionedsystems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applicati…
ISBN: 9783642136771
ISBN-13: 9783642136771
ISBN-10: 364213677X
Frequently Asked Questions
What is the price of Formal Methods for Quantitative Aspects of Programming Languages?
Formal Methods for Quantitative Aspects of Programming Languages starts from ₹5468 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Formal Methods for Quantitative Aspects of Programming Languages?
Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro is the author of Formal Methods for Quantitative Aspects of Programming Languages. Browse more books by Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro on BookBajar.
Is Formal Methods for Quantitative Aspects of Programming Languages available in Paperback and Hardcover?
Yes, Formal Methods for Quantitative Aspects of Programming Languages is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Methods for Quantitative Aspects of Programming Languages?
Yes, BookBajar offers free delivery for Formal Methods for Quantitative Aspects of Programming Languages across India. No minimum order value required.
Is Cash on Delivery available for Formal Methods for Quantitative Aspects of Programming Languages?
Yes, Cash on Delivery (COD) is available for Formal Methods for Quantitative Aspects of Programming Languages on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783642136771
🛒 Customers Also Bought
Mischen Rühren, Kneten Und Die Dazu Verwendeten Maschinen (English, Hermann Fischer | Alwin Nachtweh)
₹4,169
Anwendung Des Falkenburg'schen Diagrammes Auf Die Construction Der Einfachen Und Doppelschieber-Steu (English, Adolf Seybel)
₹4,173
Der Mensch ALS Soziales Wesen (English, P. Lersch)
₹4,149
Dammbau in Theorie Und PRAXIS (English, W. Striegler | D. Werner)
₹4,763
Die Ärztliche Behandlung Im Spannungsfeld Zwischen Kassenärztlicher Verantwortung Und Zivilrechtlich (English, Thomas Ratajczak | Arbeitsgemeinschaft
₹4,202
Summeneinflußwerte (English, Friedrich Schweda)
₹4,216Related Products
Inductive Logic Programming (English, Paolo Frasconi | Francesca A. Lisi)
₹5,822
Theoretische Informatik (English, Klaus W. Wagner)
₹2,155
Emergencies in Urology (English, M. Hohenfellner | R. a. Santucci)
₹5,367
Io: A New View of Jupiter’s Moon (English, Rosaly M. C. Lopes | Katherine de Kleer | James Tuttle Keane)
₹5,597
Real-World Applications of Evolutionary Computing (English, Stefano Cagnoni | Riccardo Poli | George D. Smith)
₹5,580