交互式定理证明与程序开发：Coq归纳构造演算的艺术（国外经典教材�计算机科学与技术?59 - Brossura

Brossura

ISBN 10: 7302208131 ISBN 13: 9787302208136

Immagini fornite dal venditore

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

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

Editore: Tsinghua University Press, 2000

ISBN 10: 7302208131 ISBN 13: 9787302208136

Nuovo paperback

Da: liu xing, Nanjing, JS, Cina

Valutazione del venditore 5 su 5 stelle

paperback. Condizione: New. Language:Chinese.Paperback. Publisher: Tsinghua University. Codice articolo B11706

EUR 74,36

Spedizione EUR 15,71
Spedito da Cina a U.S.A.

Quantit�: 3 disponibili