Verified什么牌子好,Verified哪里有卖? - 第2页

形式化语义切片 Applications
海外直订From Formal Semantics to Verified Slicing: A Modular Framework with Applications 从形式化语义到验证切片:一
￥676券后￥7060人已购买
优惠券￥30 领券购买 
医药图书线性 Described Verified
海外直订医药图书The Linear Tables Described, and Their Utility Verified; With Precepts and Examp 线性表的描述及其效
￥311.1券后￥321.10人已购买
优惠券￥10 领券购买 
Verified International Experiments Conferenc
海外直订Verified Software. Theories, Tools and Experiments: 15th International Conferenc Verified S
￥544券后￥5540人已购买
优惠券￥10 领券购买 
9798857543238 successful parenting 预订
预订 Trusted and Verified: guides to successful parenting in 21st century: 9798857543238
￥145券后￥1500人已购买
优惠券￥5 领券购买 
Experimen Verified Software Theories
海外直订Verified Software. Theories, Tools and Experimen... 验证软件。理论、工具和实验。
￥524券后￥5340人已购买
优惠券￥10 领券购买 
C++工具箱 Computing Numerical
海外直订C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithm 用于验证计算的C++工具箱：
￥1,097券后￥1,1370人已购买
优惠券￥40 领券购买 
统计数据 Statistics 4.0 Official
海外直订Official Statistics 4.0: Verified Facts for People in the 21st Century 官方统计数据4.0：21世纪被证实的事实
￥787券后￥8170人已购买
优惠券￥30 领券购买 
Programming Functional Verified 海外
海外直订Verified Functional Programming in Agda
￥1,297券后￥1,3370人已购买
优惠券￥40 领券购买 
Agda Programming Functional Verified
海外直订Verified Functional Programming in Agda 在AGDA中验证功能编程
￥942券后￥9720人已购买
优惠券￥30 领券购买 
International Experiments Conference Verified
海外直订Verified Software: Theories, Tools and Experiments: 6th International Conference 验证软件：理论、工具和实验
￥484券后￥4940人已购买
优惠券￥10 领券购买 
International Experiments Conference Verified
海外直订Verified Software: Theorie, Tools, Experiments: 5th International Conference, Vs 验证软件:理论，工具，实验:
￥543券后￥5530人已购买
优惠券￥10 领券购买 
Fm8501 微处理器 Microprocessor Verified
海外直订Fm8501: A Verified Microprocessor Fm8501：经过验证的微处理器
￥543券后￥5530人已购买
优惠券￥10 领券购买 
International Experiments Conference Verified
海外直订Verified Software: Theories, Tools, Experiments: Third International Conference, 验证软件：理论、工具、实验
￥609券后￥6390人已购买
优惠券￥30 领券购买 
Verified Software Theories Experime
海外直订Verified Software. Theories, Tools, and Experime... 已验证的软件。理论、工具和实验
￥524券后￥5340人已购买
优惠券￥10 领券购买 
Hahnemann Principles Homeopathy Verified
海外直订A Compend of the Principles of Homeopathy as Taught by Hahnemann and Verified by Hahnemann教
￥473券后￥4830人已购买
优惠券￥10 领券购买 
和实 International Experiments Verified
海外直订Verified Software. Theories, Tools, and Experiments: 10th International Conferen 已验证软件。理论、工具和实
￥543券后￥5530人已购买
优惠券￥10 领券购买 