The SECD microprocessor : a verification case study

• 作者： Graham, Brian T 1951-
• 出版： Boston : Kluwer Academic Publishers
• 叢書名： The Kluwer international series in engineering and computer science ;#178
• 主題： Microprocessors , Computer architecture
• ISBN： 0792392450 :: US$62.50
• 資料類型: 圖書
• More
• 讀者標籤：

  需登入
• 引用連結：

  Copy Link
• 目前引用數
• Share: