Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)
暫譯: 愛丁堡 LCF：一種機械化的計算邏輯（計算機科學講義）

M. Gordon, R. Milner, C.P. Wadsworth

Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)
  • 出版商: Springer
  • 出版日期: 1979-12-01
  • 售價: $1,090
  • 貴賓價: 9.5 折 $1,036
  • 語言: 英文
  • 頁數: 161
  • 裝訂: Paperback
  • ISBN: 3540097244
  • ISBN-13: 9783540097242
  • 相關分類: 資訊科學

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

Format Paperback Subject Computers the Internet Computer Science Publisher Springer Berlin

商品描述(中文翻譯)

格式 平裝本 主題 電腦 網際網路 計算機科學 出版社 施普林格 柏林

類似商品

最後瀏覽商品 (2)