书籍 Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming的封面

Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming

出版社

Springer-Verlag

出版时间

1982

ISBN

3540112103

标注页数

304 页

PDF页数

315 页

书籍介绍

在线购买PDF电子书

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

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

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

在线购买PDF电子书