panda
Abstraction, refinement and proof for probabilistic systems
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Programming Techniques
Mathematical Logic and Formal Languages
Probabilités
Systems engineering
Logic design
Engineering mathematics
Probabilities
Computer programming
Computer science
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of …
Read online
Reader not loading? Open it on Archive.org instead.
