Randomness: A Tool for Constructing and Analyzing Computer Programs

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

KUČERA Antonín

Rok publikování 2011
Druh Kapitola v knize
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Popis The paper reflects the author's personal view on the role of randomness in modeling, analysisng, and verification of computer programs.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info