Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4 7, 2001 : proceedings

This volume contains the proceedings of CHARME 2001, the Eleventh Advanced Research Working Conference on Correct Hardware Design and Veri?cation Methods. CHARME 2001 is the 11th in a series of working conferences devoted to the development and use of leading-edge formal techniques and tools for the...

Descripció completa

Dades bibliogràfiques

Autor corporatiu:	Advanced Research Working Conference on Correct Hardware-like Design and Verification Methods :2001
Altres autors:	Margaria-Steffen, Tiziana, 1964- (Director editorial), Melham, Thomas F., 1960- (Director editorial)
Format:	Livre numérique
Idioma:	Anglais
Publicat:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Col·lecció:	Lecture notes in computer science 2144
Matèries:	Génie logiciel 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, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, proceedings, Tiziana Margaria, Tom Melham (eds.), 2001, New York, Springer, 1 vol. (XII-482 p.), Lecture notes in computer science, 3-540-42541-1 • Correct Hardware Design and Verification Methods, Texte imprimé, 9783662199329