Mechanized reasoning and hardware design

著者

• Hoare, C. A. R. (Charles Antony Richard)
• Gordon, M. J. C

書誌事項

Mechanized reasoning and hardware design

edited by C.A.R. Hoare and M.J.C. Gordon

（Prentice-Hall International series in computer science）

Prentice Hall, 1992

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA18725266
• ISBN:
  • 0135724058
• LCCN: 92010883
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York
• ページ数/冊数: 151 p.
• 大きさ: 24 cm
• 分類:
  • LCC : TK7895.M5
  • DC20 : 621.39/2
• 件名:
  • LCSH : Microprocessors -- Design and construction -- Data processing
  • LCSH : Logic design -- Data processing
• 親書誌ID:
  • BA00010507