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
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Thèse Thèse 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.