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, 8 s. ISBN 978-981-4327-74-9.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Randomness: A Tool for Constructing and Analyzing Computer Programs
Autoři KUČERA, Antonín (203 Česká republika, garant, domácí).
Vydání New Jersey, Randomness through Computation, od s. 275-282, 8 s. 2011.
Nakladatel World Scientific
Další údaje
Originální jazyk angličtina
Typ výsledku Kapitola resp. kapitoly v odborné knize
Obor Computer sciences, information science, bioinformatics
Stát vydavatele Spojené státy americké
Utajení není předmětem státního či obchodního tajemství
Kód RIV RIV/00216224:14330/11:00054481
Organizační jednotka Fakulta informatiky
ISBN 978-981-4327-74-9
Klíčová slova anglicky randomness; stochastic systems; verification
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 17. 12. 2011 17:12.
Anotace
The paper reflects the author's personal view on the role of randomness in modeling, analysisng, and verification of computer programs.
Návaznosti
1M0545, projekt VaVNázev: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumná centra (Národní program výzkumu)
VytisknoutZobrazeno: 22. 10. 2019 11:01