• Free shipping
  • More than one million students ordered here

Abstraction, Refinement and Proof for Probabilistic Systems

McIver, Annabelle,

9780387401157 - Abstraction, Refinement and Proof for Probabilistic Systems
Secondhand

Article description

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.

Specifications

Author McIver, Annabelle,
ISBN/EAN 9780387401157
Can't be ordered

Article description

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.

Specifications

Author McIver, Annabelle,
ISBN/EAN 9780387401157