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

ISBN:

Perfeziona con la Ricerca avanzata

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
7302208131 / 9787302208136
- Brossura
Da: liu xing, Nanjing, JS, Cinaliu xing
Venditore con 5 stelle
Contatta il venditore
Condizione: Nuovo
EUR 74,25
EUR 15,69 spedizione
Spedito da Cina a U.S.A.
Quantità: 3 disponibili
paperback. Condizione: New. Language:Chinese.Paperback. Publisher: Tsinghua University.