Contribution à la spécification et à la preuve formelle de systèmes informatiques / Laurence Pierre
Type de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 1999Description : 1 vol. (156 p.) ; 30 cmBibliographie : Bibliogr. p. 150-156 .Sujet MSC : 68N15, Computer science - Theory of software, Theory of programming languages94Cxx, Information and communication theory, circuits - Circuits, networks
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Habilitation à diriger les recherches, informatique, 1999, université de Provence Item type:

Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|
CMI Salle S | Thèses PIE (Browse shelf(Opens below)) | Available | 00218-01 |
Bibliogr. p. 150-156
Habilitation à diriger les recherches informatique 1999 université de Provence
There are no comments on this title.