Interactive Theorem Proving and Program Development

【文件属性】：

文件名称：Interactive Theorem Proving and Program Development

文件大小：10.13MB

文件格式：PDF

更新时间：2021-12-14 05:48:29

Interactive

这是关于迭代算法的电子书，高清，最新版本，经典著作，英文版