Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Abstraction, Refinement and Proof for Probabilistic Systems
sidottu,
2004,
englanti,
ISBN 9780387401157
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 …
Abstraction, Refinement and Proof for Probabilistic Systems
nidottu,
2010,
englanti,
ISBN 9781441923127
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 …