De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité / Farid Arfi

Public ISBD Titre : De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité Auteurs : Farid Arfi ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse Année de publication : 2007 Importance : 122 f. Note générale : 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD Catégories : Français - Anglais Informatique Tags : Vérification symbolique entrelacée  Sémantique de maximalité Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=234 De la vérification symbolique entrelacée à la vérification symbolique basée su la sémantique de maximalité [] / Farid Arfi ; Univ. de Constantine, Éditeur scientifique ; D.E. Saidouni, Directeur de thèse . - 2007 . - 122 f. 01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD Catégories : Français - Anglais Informatique Tags : Vérification symbolique entrelacée  Sémantique de maximalité Index. décimale : 004 Traitement de données. Informatique Permalink : index.php?lvl=notice_display&id=234

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
ARF/4855	ARF/4855	Thèse	Bibliothèque principale	Thèses	Disponible

---

1 (1 - 1 / 1)