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
|