书籍 Fundamental Proof Methods in Computer Science A Computer-Based Approach的封面

Fundamental Proof Methods in Computer Science A Computer-Based Approach

Konstantine Arkoudas

出版社

The MIT Press

出版时间

2017

ISBN

0262035538

标注页数

942 页

PDF页数

973 页

书籍介绍
在线购买PDF电子书