Abstraction Refinement And Proof For Probabilistic Systems at Meripustak

Abstraction Refinement And Proof For Probabilistic Systems

Books from same Author: Annabelle McIver, Charles Carroll Morgan

Books from same Publisher: Springer

Related Category: Author List / Publisher List


  • Retail Price: ₹ 18053/- [ 21.00% off ]

    Seller Price: ₹ 14262

Sold By: T K Pandey      Click for Bulk Order

Offer 1: Get ₹ 111 extra discount on minimum ₹ 500 [Use Code: Bharat]

Offer 2: Get 21.00 % + Flat ₹ 100 discount on shopping of ₹ 1500 [Use Code: IND100]

Offer 3: Get 21.00 % + Flat ₹ 300 discount on shopping of ₹ 5000 [Use Code: MPSTK300]

Free Shipping (for orders above ₹ 499) *T&C apply.

In Stock

Free Shipping Available



Click for International Orders
  • Provide Fastest Delivery

  • 100% Original Guaranteed
  • General Information  
    Author(s)Annabelle McIver, Charles Carroll Morgan
    PublisherSpringer
    ISBN9780387401157
    Pages388
    BindingHardback
    LanguageEnglish
    Publish YearJanuary 2005

    Description

    Springer Abstraction Refinement And Proof For Probabilistic Systems by Annabelle McIver, Charles Carroll Morgan

    Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .Presents results of a large and integrated body of research in the area of 'quantitative' program logics.show more Probabilistic guarded commands and their refinement logic.- to pGCL: Its logic and its model.- Probabilistic loops: Invariants and variants.- Case studies in termination: Choice coordination, the dining philosophers, and the random walk.- Probabilistic data refinement: The steam boiler.- Semantic structures.- Theory for the demonic model.- The geometry of probabilistic programs.- Proved rules for probabilistic loops.- Infinite state spaces, angelic choice and the transformer hierarchy.- Advanced topics: Quantitative modal logic and game interpretations.- Quantitative temporal logic: An introduction.- The quantitative algebra of qTL.- The quantitative modal ?-calculus, and gambling games.