interactive theorem proving and program development: Coq inductive calculus of constructions of art - Softcover

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

Softcover

ISBN 10: 7302208131 ISBN 13: 9787302208136

Publisher: Tsinghua University Press, 1991

Seller Image

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

Published by Tsinghua University Press, 1991

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

US$ 82.72

US$ 18.00 shipping
Ships from China to U.S.A.

Quantity: 3 available