Edinburgh LCF: A Mechanized Logic of Computation (Lecture Notes in Computer Science)
M. Gordon, R. Milner, C.P. Wadsworth
- 出版商: Springer
- 出版日期: 1979-12-01
- 售價: $1,210
- 貴賓價: 9.5 折 $1,150
- 語言: 英文
- 頁數: 161
- 裝訂: Paperback
- ISBN: 3540097244
- ISBN-13: 9783540097242
-
相關分類:
Computer-Science
海外代購書籍(需單獨結帳)
相關主題
商品描述
Format Paperback Subject Computers the Internet Computer Science Publisher Springer Berlin