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
Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017
Relation : Analyse de programmes probabilistes par interprétation abstraite / David Monniaux ; sous la direction de Patrick Cousot / , 2001