Další formáty:
BibTeX
LaTeX
RIS
@inbook{962617, author = {Kučera, Antonín}, address = {New Jersey}, booktitle = {Randomness through Computation}, keywords = {randomness; stochastic systems; verification}, language = {eng}, location = {New Jersey}, isbn = {978-981-4327-74-9}, pages = {275-282}, publisher = {World Scientific}, title = {Randomness: A Tool for Constructing and Analyzing Computer Programs}, year = {2011} }
TY - CHAP ID - 962617 AU - Kučera, Antonín PY - 2011 TI - Randomness: A Tool for Constructing and Analyzing Computer Programs VL - Neuveden PB - World Scientific CY - New Jersey SN - 9789814327749 KW - randomness KW - stochastic systems KW - verification N2 - The paper reflects the author's personal view on the role of randomness in modeling, analysisng, and verification of computer programs. ER -
KUČERA, Antonín. Randomness: A Tool for Constructing and Analyzing Computer Programs. In \textit{Randomness through Computation}. New Jersey: World Scientific, 2011, s.~275-282. ISBN~978-981-4327-74-9.
|