Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
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 …