Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Abstraction, Refinement and Proof for Probabilistic Systems
e-kirja,
2005,
englanti,
ISBN 9780387270067
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 …