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

Auteur: Pierre, Laurence - AuteurCollectivité secondaire: Université Aix-Marseille 1 - Etablissement de soutenanceType de document: ThèseLangue: françaisPays: FranceÉditeur: [S.l.] : [s.n.], 1999Description: 1 vol. (156 p.) ; 30 cmBibliographie: Bibliogr. p. 150-156 .Thèse: Habilitation à diriger les recherches en informatique, soutenue en 1999, organisme : université de Provence Sujets 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
Location Call Number Status Date Due
Salle S 00218-01 / Thèses PIE (Browse Shelf) Available

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.
Languages: English | Français | |