Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings

These proceedings contain the papers presented at the Advanced Research Working Conference on Correct Hardware Design Methodologies, held in Arles, France, in May 1993, and organized by the ESPRIT Working Group 6018 CHARME-2and the Universit de Provence, Marseille, in cooperation with IFIP Working G...

詳細記述

書誌詳細

団体著者:	IFIP WG10.2. Advanced research working conference :Arles
その他の著者:	Milne, George, 1952- (出版デイレクター), Pierre, Laurence, 19..-...., auteur en informatique (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 683
主題:	Conception assistée par ordinateur Informatique Circuits intégrés Ordinateurs > Équipement d'entrée-sortie Ordinateurs > Mémoires Structure logique Microprogrammation Unités arithmétiques et logiques Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	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, IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993, proceedings, George J. Milne, Laurence Pierre (eds.), 1993, Berlin, Springer-Verlag, 1 vol. (VI-269 p.), Lecture notes in computer science, 3-540-56778-X • Correct Hardware Design and Verification Methods, Texte imprimé, 9783662213858