![Theoretical computer science / Mathematics / Mathematical logic / Logic in computer science / Programming language semantics / Measure theory / Boolean algebra / Probability theory / Denotational semantics / Predicate transformer semantics / Sigma-algebra / PP Theoretical computer science / Mathematics / Mathematical logic / Logic in computer science / Programming language semantics / Measure theory / Boolean algebra / Probability theory / Denotational semantics / Predicate transformer semantics / Sigma-algebra / PP](https://www.pdfsearch.io/img/7931f4c838c4de6ba658afbd14000d04.jpg) Date: 2007-10-18 09:43:37Theoretical computer science Mathematics Mathematical logic Logic in computer science Programming language semantics Measure theory Boolean algebra Probability theory Denotational semantics Predicate transformer semantics Sigma-algebra PP | | Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, FranceAdd to Reading ListSource URL: www-verimag.imag.frDownload Document from Source Website File Size: 390,79 KBShare Document on Facebook
|