Vérification de circuits dans COQ : (annexe : Code COQ) / par Line Jakubiec ; sous la direction de Solange Coupet Grimal

Auteur principal : Jakubiec, Line, AuteurAuteur secondaire : Coupet-Grimal, Solange, 1952-, Directeur de thèseAuteur secondaire collectivité : Université de Provence, Etablissement de soutenanceType de document : ThèseLangue : français.Pays: France.Éditeur : [S.l.] : [s.n.], 1999Description : 1 vol. (273 p.) ; 30 cmSujet MSC : 68V15, Computer science support for mathematical research and practice, Theorem proving
68Q45, Computer science - Theory of computing, Formal languages and automata
68Q60, Computer science - Theory of computing, Specification and verification
97-02, Research exposition (monographs, survey articles) pertaining to mathematics educationNote de thèse: Thèse de doctorat, informatique, 1999, Aix-Marseille 1
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 JAK (Browse shelf(Opens below)) Available 00254-01

Volume annexe de la thèse du même titre

Thèse de doctorat informatique 1999 Aix-Marseille 1

There are no comments on this title.

to post a comment.