Correct Hardware Design and Verification Methods
Subtitle: Ifip Wg 10.2 Advanced Research Working Conference, Charme'93, Arles, France, May 24-26, 1993. Procee (Lecture Notes in Computer Science)
Contributors: George J. Milne (Editor); Laurence Pierre (Editor)
Publisher: Springer
Published: June 1993
Language: eng
Format: Paperback
Number of pages: 269
ISBN-13: 9783540567783
Subjects: Computer Hardware & Operating Systems; Systems analysis & design; Computer Architecture - General; Computer Engineering; Computer Science; Computers - General Information; Design and construction