Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Abstraction, Refinement and Proof for Probabilistic Systems
inbunden,
2004,
Engelska,
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
häftad,
2010,
Engelska,
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 …