ISBN: 9787302208136 - 交互式定理证明与程序开发：coq归纳构造演算的艺术（国外经典教材·计算机科学与技术?59 (1 risultati)
Editore: Tsinghua University Press, 1991
- Brossura
Da: liu xing, Nanjing, JS, Cinaliu xing
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,81
EUR 16,02 spedizioneSpedito da Cina a U.S.A.Quantità: 3 disponibili
paperback. Condizione: New. Language:Chinese.Paperback. Publisher: Tsinghua University.
