Analyse de programmes probabilistes par interprétation abstraite / David Monniaux ; sous la direction de Patrick Cousot

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Monte-Carlo, Méthode de

Markov, Processus de

Cousot, Patrick (1948-.... ; informaticien) (Directeur de thèse / thesis advisor)

Université Paris Dauphine-PSL (1968-....) (Organisme de soutenance / degree-grantor)

Relation : Analyse de programmes probabilistes par interprétation abstraite / David Monniaux / Villeurbanne : [CCSD] , 2006

Relation : Analyse de programmes probabilistes par interprétation abstraite / David Monniaux ; sous la direction de Patrick Cousot / , 2001

Relation : Analyse de programmes probabilistes par interprétation abstraite / David Monniaux ; sous la direction de Patrick Cousot / Grenoble : Atelier national de reproduction des thèses , 2001