KUČERA, Antonín. Randomness: A Tool for Constructing and Analyzing Computer Programs. In Randomness through Computation. New Jersey: World Scientific, 2011, p. 275-282. ISBN 978-981-4327-74-9.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Randomness: A Tool for Constructing and Analyzing Computer Programs
Authors KUČERA, Antonín (203 Czech Republic, guarantor, belonging to the institution).
Edition New Jersey, Randomness through Computation, p. 275-282, 8 pp. 2011.
Publisher World Scientific
Other information
Original language English
Type of outcome Chapter(s) of a specialized book
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher United States of America
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/11:00054481
Organization unit Faculty of Informatics
ISBN 978-981-4327-74-9
Keywords in English randomness; stochastic systems; verification
Tags International impact, Reviewed
Changed by Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 17/12/2011 17:12.
Abstract
The paper reflects the author's personal view on the role of randomness in modeling, analysisng, and verification of computer programs.
Links
1M0545, research and development projectName: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science
PrintDisplayed: 25/4/2024 12:58