Contribution à la spécification et à la preuve formelle de systèmes informatiques / Laurence Pierre

Auteur principal : Pierre, Laurence, AuteurAuteur secondaire collectivité : Université Aix-Marseille 1, Etablissement de soutenanceType 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 languages
94Cxx, 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: Thèse
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Réserve 		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.

to post a comment.