Ditapis dengan
Ditemukan 1 dari pencarian Anda melalui kata kunci: author="McIver, Annabelle."
Abstraction, Refinement and Proof for Probabilistic Systems
Probabilistic guarded commands and their refinement logic -- to pGCL: Its logic and its model -- Probabilistic loops: Invariants and variants -- Case studies in termination: Choice coordination, the dining philosophers, and the random walk -- Probabilistic data refinement: The steam boiler -- Semantic structures -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9780387270067
- Deskripsi Fisik
- XX, 388 p. 63 illus.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah