Taxonomies for the development and verification of digital systems

Taxonomies for the development and verification of digital systems

Enregistré dans:
Détails bibliographiques
Autres auteurs : Bailey Brian (Éditeur scientifique), Grant Martin (Éditeur scientifique), Anderson Thomas (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Taxonomies for the development and verification of digital systems / edited by Brian Bailey, Grant Martin, Thomas Anderson
Publié : New York : Springer Science+Business Media , cop. 2005
Description matérielle : 1 vol. (xx-179 p.)
Sujets :
Circuits logiques
Chargement en cours