Titre : Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code

Efficient and effective software verifications for scientific applications using static analysis and code instrumentation

Thi Viet Nga Nguyen (19..-)
François . Directeur de thèse
(Paris)


2002
1 vol. (189 p.) ; 30 cm

xx Logiciels-- Vérification -- Thèses et écrits académiques
xx Langages de programmation-- Thèses et écrits académiques

Bibliogr. 146 réf.


Exemplaires

Powered by Koha

LocalisationCoteSituation
Centre de recherche en informatique   02 NGU
Bib. Paris   EMP 150.759 CCL.TH.1063
Bib. Paris   EMP 150.760 CCL.TH.1063