Sisältöä ei voida näyttää
Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.
EvästeasetuksetÇeliku, O. (2006). Mechanized reasoning for dually-nondeterministic and probabilistic programs. Turku Centre for Computer Science.
Chicago-tyylinen lähdeviittausÇeliku, Orieta. Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs. Turku: Turku Centre for Computer Science, 2006.
MLA-viiteÇeliku, Orieta. Mechanized Reasoning for Dually-nondeterministic and Probabilistic Programs. Turku Centre for Computer Science, 2006.
Harvard-tyylinen lähdeviittausÇeliku, O. 2006. Mechanized reasoning for dually-nondeterministic and probabilistic programs. Turku: Turku Centre for Computer Science.
Sisältöä ei voida näyttää
Chat-sisältöä ei voida näyttää evästeasetusten vuoksi. Nähdäksesi sisällön sinun tulee sallia evästeasetuksista seuraavat: Chat-palveluiden evästeet.
Evästeasetukset