书籍 Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic的封面

Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic

出版社

Springer-Verlag

出版时间

2002

ISBN

3540433767

标注页数

218 页

PDF页数

234 页

书籍介绍

在线购买PDF电子书

此书压缩包下载地址1 （68 MB）

此书压缩包下载地址2 （68 MB）

此书BT种子下载地址（速度快）

在线购买PDF电子书