Saxo Access
Indkøbskurv
  3. Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems (e-bog) af Morgan, Charles Carroll
Morgan, Charles Carroll (forfatter)

Abstraction, Refinement and Proof for Probabilistic Systems e-bog

1240,73 DKK (inkl. moms 1550,91 DKK)
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.
E-bog 1240,73 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Morgan, Charles Carroll (forfatter)
Forlag Springer
Udgivet 27 oktober 2005
Genrer Probability and statistics
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9780387270067

Beskrivelse

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.