Normal view MARC view ISBD view

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

Powered by Koha