ISBN: 9787302208136 - 交互式定理证明与程序开发：coq归纳构造演算的艺术（国外经典教材·计算机科学与技术?59 (1 Ergebnisse)

YI SI BO TUO TE PI ER KA SI TE LAN BIAN ZHU GU MING DENG

Verlag: Tsinghua University Press, 1991

ISBN 10 / ISBN 13: 7302208131 / 9787302208136

Anbieter: liu xing, Nanjing, JS, Chinaliu xing, Nanjing, JS, China