interactive theorem proving and program development: Coq inductive calculus of constructions of art(Chinese Edition) - Softcover

YI SI � BO TUO TE &#xff0c ; PI ER � KA SI TE LAN BIAN ZHU &#xff1b ; GU MING DENG

Softcover

ISBN 10: 7302208131 ISBN 13: 9787302208136

Publisher: Tsinghua University Press, 2000

Language:Chinese.Soft cover.publisher:Tsinghua University Press.description:Paperback. Publisher: Tsinghua University

"synopsis" may belong to another edition of this title.

Seller Image

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

Published by Tsinghua University Press, 2000

ISBN 10: 7302208131 ISBN 13: 9787302208136

New paperback

Seller: liu xing, Nanjing, JS, China

Seller rating 5 out of 5 stars

paperback. Condition: New. Language:Chinese.Paperback. Publisher: Tsinghua University. Seller Inventory # B11706

� 64.39

� 13.60 shipping
Ships from China to U.S.A.

Quantity: 3 available