Normal view MARC view ISBD view

Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code / par Thi Viet Nga Nguyen ; sous la dir. de François Irigoin

Auteur principal : Nguyen, Thi Viet Nga, 19..-Auteur secondaire : : Irigoin, François, Directeur de thèseAuteur secondaire collectivité : , Paris, Organisme de soutenancePublication : 2002Description : 1 vol. (189 p.) ; 30 cmClassification : 004 ; 620Bibliographie: Bibliogr. 146 réf..Thèse : .Sujet - Nom d'actualité : Logiciels -- Vérification -- Thèses et écrits académiques ;Langages de programmation -- Thèses et écrits académiques Sujet : Vérification programme ;Variable ;Procédure ;Logiciel ;Code calcul ;Analyse ;COMPILATION ;INSTRUMENTATION DE PROGRAMME ;LANGAGE FORTRAN Sujet Catégorie : INFORMATIQUE-INTELLIGENCE ARTIFICIELLE ;H-LOGICIEL List(s) this item appears in: typdoc thèse à rajouter
Current location Call number Status Date due Barcode
Bib. Paris
EMP 150.759 CCL.TH.1063 Available EMP72084D
Bib. Paris
EMP 150.760 CCL.TH.1063 Available EMP72085D
Centre de recherche en informatique
02 NGU Sur demande CRI05242D

Publication autorisée par le jury

Bibliogr. 146 réf.

Thèse doctorat Informatique, temps réel, robotique et automatique Paris, ENMP 2002

Powered by Koha