C 2011

Randomness: A Tool for Constructing and Analyzing Computer Programs

KUČERA, Antonín

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

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
Název: Institut Teoretické Informatiky
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky