trier par
Copyright © 2021 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?  
rechercher (et) (Mots du titre) Vérification de circuits dans Coq | 2 résultat(s)

Services

Affiner la recherche

Mot Type Compte
dans Mots du titre [756577]
circuits Mots du titre [10702]
vérification Mots du titre [2298]
coq Mots du titre [1354]
de Mots du titre [8558261]
1

Livres 1.
Jakubiec, Line / ANRT [diff.] / 1999
Thèses (version de soutenance) 2.
Jakubiec, Line / [s.n.] / 1999Résumé