2011
Randomness: A Tool for Constructing and Analyzing Computer Programs
KUČERA, AntonínZá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
Jazyk
angličtina
Typ výsledku
Kapitola resp. kapitoly v odborné knize
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Spojené státy
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ěněno: 17. 12. 2011 17:12, prof. RNDr. Antonín Kučera, Ph.D.
Anotace
V originále
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 VaV |
|