Dépôt institutionnel de l'universite Freres Mentouri Constantine 1
Méthodologie de vérification formelle pour les microarchitectures RISC.Approche fonctionnelle
- Accueil de DSpace
- →
- Thèses et Mémoires
- →
- Faculté des Sciences de la technologie
- →
- Informatique
- →
- Doctorat Informatique
- →
- Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | Benmohammed M. | |
| dc.contributor.author | Merniz Salah | |
| dc.date.accessioned | 2022-05-24T10:43:54Z | |
| dc.date.available | 2022-05-24T10:43:54Z | |
| dc.date.issued | 2017-01-01 | |
| dc.identifier.uri | http://depot.umc.edu.dz/handle/123456789/6805 | |
| dc.description | 100 f. | |
| dc.description | Shémas | |
| dc.format | 30 cm | |
| dc.subject | Informatique | |
| dc.title | Méthodologie de vérification formelle pour les microarchitectures RISC.Approche fonctionnelle | |
| dc.coverage | 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD |
