Fons: Correct hardware design and verification methods :

Guardat en:

Dades bibliogràfiques
Autor principal:	Geist, Daniel (Autor)
Autor corporatiu:	CHARME 2003 :L'Aquila, Italy
Altres autors:	Tronci, Enrico, 1961- (Director editorial), Geist, Daniel, 1961- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 2860
Matèries:	Génie logiciel Conception assistée par ordinateur Informatique Circuits intégrés Circuits intégrés à très grande échelle Intelligence artificielle Logique symbolique et mathématique Essais Ordinateurs Ingénierie assistée par ordinateur Actes de congrès
Accés en línia:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Correct hardware design and verification methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, proceedings, Daniel Geist, Enrico Tronci, (Eds.), Berlin, Springer, 2003, 1 vol. (XII-426 p.), Lecture notes in computer science, 3-540-20363-X • Correct Hardware Design and Verification Methods, Texte imprimé, 9783662163191