BookShops.in
Formal Methods for Quantitative Aspects of Programming Languages (English, Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro)
Computers & Internet

Formal Methods for Quantitative Aspects of Programming Languages (English, Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro)

By Alessandro Aldini | Marco Bernardo | Alessandra Di PierroSpringer
₹5,468

Inclusive of all applicable taxes. FREE shipping on all orders.

Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked

Available Offers

  • 🚚Free Delivery — Free shipping on all orders
  • 💵Cash on Delivery — Pay when your order arrives
  • ↩️15-Day Easy Returns — Hassle-free return policy
  • 🔒Cash on Delivery — Pay safely when your order arrives

Check Delivery

Book Details

ISBN-139783642136771
ISBN-10364213677X

Product Description

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

Frequently Asked Questions

What is the price of Formal Methods for Quantitative Aspects of Programming Languages?
Formal Methods for Quantitative Aspects of Programming Languages is available at ₹5,468 on BookShops.in.
Does BookShops.in offer free delivery for Formal Methods for Quantitative Aspects of Programming Languages?
FREE delivery on all orders for Formal Methods for Quantitative Aspects of Programming Languages.
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 BookShops.in. Pay when your order arrives.
What is the return policy for Formal Methods for Quantitative Aspects of Programming Languages?
BookShops.in offers a 15-day hassle-free return policy for Formal Methods for Quantitative Aspects of Programming Languages. Contact us at support@bookshops.in or call +91 81899 68108.
Is Formal Methods for Quantitative Aspects of Programming Languages authentic?
Formal Methods for Quantitative Aspects of Programming Languages is listed on BookShops.in after verification of product details including ISBN, title, and availability information.

Related Products

View All
Buy Shaping Membership, Defining Nation (English, Pashington Obeng) — BookShops.in-62%

Computers & Internet

Shaping Membership, Defining Nation (English, Pashington Obeng)

₹5,346₹14,214
Buy Restorative Justice (English, Marian Liebmann) — BookShops.in

Computers & Internet

Restorative Justice (English, Marian Liebmann)

₹5,512
Buy Domestic Life in Prehispanic Capitals (English, Linda R. Manzanilla | Claude Chapdelaine) — BookShops.in

Computers & Internet

Domestic Life in Prehispanic Capitals (English, Linda R. Manzanilla | Claude Chapdelaine)

₹2,029
Buy Diccionario de estudios culturales latinoamericanos (English, Mónica Szurmuk | Robert McKee Irwin) — BookShops.in

Computers & Internet

Diccionario de estudios culturales latinoamericanos (English, Mónica Szurmuk | Robert McKee Irwin)

₹3,579
Buy Developing and Validating Rapid Assessment Instruments (English, Neil Abell) — BookShops.in

Computers & Internet

Developing and Validating Rapid Assessment Instruments (English, Neil Abell)

₹4,234
Buy A "Splendid Idiosyncrasy" (English, Pamela Jane Smith) — BookShops.in-26%

Computers & Internet

A "Splendid Idiosyncrasy" (English, Pamela Jane Smith)

₹5,424₹7,285