Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)

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

  • 出版商: Springer
  • 出版日期: 1979-12-01
  • 售價: $1,040
  • 貴賓價: 9.5$988
  • 語言: 英文
  • 頁數: 161
  • 裝訂: Paperback
  • ISBN: 3540097244
  • ISBN-13: 9783540097242
  • 相關分類: Computer-Science 計算機概論
  • 下單後立即進貨 (約1週~2週)

相關主題

商品描述

Format Paperback Subject Computers the Internet Computer Science Publisher Springer Berlin