Return to search

Abstraction et vérification de programmes informatiques

Thèse (M.Sc.)--Université Laval, 2008. / Titre de l'écran-titre (visionné le 12 janvier 2009). Bibliogr.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/317456912
Date January 1900
CreatorsChorfi, Redha.
PublisherQuébec : Université Laval,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench

Page generated in 0.0015 seconds