Analyse de complexité des programmes [ [Texte imprimé]] : vérification et inférence / Vincent Dornic
Auteur principal : DORNIC, VincentPublication :Paris : ENSMP, 1992Description : 103 p. ; 30 cmBibliographie: 5 p. de réf. bibliogr..Thèse : .Sujet : Analyse programme ;Complexité programme ;Analyse automatique ;Multiprocesseur ;Vérification programme Sujet Catégorie : INFORMATIQUE-INTELLIGENCE ARTIFICIELLE| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| Bib. Paris | EMP 141.140 CCL.TH.701 | Available | EMP07506D | |
| Bib. Paris | EMP 141.141 CCL.TH.701 | Available | EMP07505D |
5 p. de réf. bibliogr.
Th. univ. Systèmes informat. Paris 6 1992