Analyse de programmes probabilistes par interprétation abstraite / David Monniaux ; sous la direction de Patrick Cousot
Date : 2001
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Monte-Carlo, Méthode de
Markov, Processus de
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