A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
3 résultat(s) recherche sur le tag 'verification'
Affiner la recherche Interroger des sources externesBinary Decision Diagrams - Theory and Implementation / R. DRECHSLER
Titre : Binary Decision Diagrams - Theory and Implementation Type de document : texte imprimé Auteurs : R. DRECHSLER, Auteur ; B. BECKER, Auteur Editeur : Kluwer Academic Publishers Année de publication : 1998 Importance : 200 p. ISBN/ISSN/EAN : 0-7923-8193-9 Langues : Inconnue (und) Tags : BOOLEAN FUNCTIONS VERIFICATION Index. décimale : I1 I1 - Informatique Théorique Binary Decision Diagrams - Theory and Implementation [texte imprimé] / R. DRECHSLER, Auteur ; B. BECKER, Auteur . - [S.l.] : Kluwer Academic Publishers, 1998 . - 200 p.
ISBN : 0-7923-8193-9
Langues : Inconnue (und)
Tags : BOOLEAN FUNCTIONS VERIFICATION Index. décimale : I1 I1 - Informatique Théorique Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I1 / 13875 Papier OUVRAGES INFORMATIQUE Emprunté par: Arnaud Virazel
Sorti jusqu'au 06/09/2011
Titre : Logic Synthesis and Verification Algorithms Type de document : texte imprimé Auteurs : G.D. HACHTEL, Auteur ; F. SOMENZI, Auteur Editeur : Springer Année de publication : 2006 Importance : 564 p. ISBN/ISSN/EAN : 0-387-31004-5 Langues : Inconnue (und) Tags : SYNTHESE LOGIQUE VERIFICATION PREUVE FORMELLE Index. décimale : E2 E2 - Architecture Matérielle, synthèse VHDL Logic Synthesis and Verification Algorithms [texte imprimé] / G.D. HACHTEL, Auteur ; F. SOMENZI, Auteur . - [S.l.] : Springer, 2006 . - 564 p.
ISBN : 0-387-31004-5
Langues : Inconnue (und)
Tags : SYNTHESE LOGIQUE VERIFICATION PREUVE FORMELLE Index. décimale : E2 E2 - Architecture Matérielle, synthèse VHDL Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité E2 / 13883 Papier OUVRAGES MICRO-ELECTRONIQUE Emprunté par: Arnaud Virazel
Sorti jusqu'au 06/09/2011
Titre : Méthodes Formelles pour les Systèmes Répartis et Coopératifs Type de document : texte imprimé Auteurs : S. HADDAD, Auteur ; F. KORDON, Auteur ; L. PETRUCCI, Auteur Editeur : Hermès Sciences Année de publication : 2006 Importance : 347 p. ISBN/ISSN/EAN : 2-7462-1447-4 Langues : Inconnue (und) Tags : VALIDATION FORMEL VERIFICATION MODELISATION SYSTEMES REPARTIS Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations Méthodes Formelles pour les Systèmes Répartis et Coopératifs [texte imprimé] / S. HADDAD, Auteur ; F. KORDON, Auteur ; L. PETRUCCI, Auteur . - [S.l.] : Hermès Sciences, 2006 . - 347 p.
ISBN : 2-7462-1447-4
Langues : Inconnue (und)
Tags : VALIDATION FORMEL VERIFICATION MODELISATION SYSTEMES REPARTIS Index. décimale : I6 I6 - Bases de Données - Systèmes d'Informations Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité I6 / 13849 Papier OUVRAGES INFORMATIQUE Emprunté par: Karen Godary
Sorti jusqu'au 22/05/2011
