Normal view MARC view ISBD view

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 -- Software, Programming languages
94Cxx, Information and communication, circuits, Circuits, networks
97A70, Mathematics education - General, mathematics and education, Theses and postdoctoral theses
Note 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.
Current location Call number Status Date due Barcode
CMI
Salle S
Thèses PIE (Browse shelf) Available 00218-01

Bibliogr. p. 150-156

Habilitation à diriger les recherches informatique 1999 université de Provence

There are no comments for this item.

Log in to your account to post a comment.