Randomness: A Tool for Constructing and Analyzing Computer Programs
| Autoři | |
|---|---|
| Rok publikování | 2011 |
| Druh | Kapitola v knize |
| Fakulta / Pracoviště MU | |
| Citace | KUČERA, Antonín. Randomness: A Tool for Constructing and Analyzing Computer Programs. In Randomness through Computation. New Jersey: World Scientific, 2011, s. 275-282. ISBN 978-981-4327-74-9. |
| 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: |