skip to main content

Verification Techniques for System-Level Design

Masahiro Fujita ; Indradeep Ghosh; Mukul Prasad

Morgan Kaufmann, 2008

Accessible en ligne

  • Titre:
    Verification Techniques for System-Level Design
  • Auteur: Masahiro Fujita
  • Autre(s) auteur(s): Indradeep Ghosh; Mukul Prasad
  • Éditeur: Morgan Kaufmann
  • Date de publication: 2008
  • Langue: Anglais
  • Identifiant: ISBN 0-12-370616-5 ;ISBN 9786611049645 ;ISBN 1-281-04964-6 ;ISBN 0-08-055313-3
  • Source: Mines ParisTech (ressources électroniques)
    ESPCI Paris (ressources électroniques)
    PSL (ressources électroniques)
    Collège de France (ressources électroniques)
    Dauphine (ressources électroniques)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré