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
Formal Methods for Quantitative Aspects of Programming Languages by Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro is listed under Programming on BookBajar. Full details, specifications and reader reviews are below.
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
Reader's Guide
What This Book Covers
- ·The main subject matter of Formal Methods for Quantitative Aspects of Programming Languages
- ·Ideas and detail relevant to Programming
- ·Context that helps make sense of the material as a whole
Best Suited For
Programmers and students learning to build software.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
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.
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.
What is BookBajar's return policy on Formal Methods for Quantitative Aspects of Programming Languages?
Formal Methods for Quantitative Aspects of Programming Languages can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Formal Methods for Quantitative Aspects of Programming Languages?
Formal Methods for Quantitative Aspects of Programming Languages has ISBN 9783642136771 (ISBN-10: 364213677X). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Formal Methods for Quantitative Aspects of Programming Languages?
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).
Product ID: isbn-9783642136771
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637