预订 Symbolic Execution and Quantitative Reasoning: Applicatio 国外库房发货,通常付款后3-5周到货
¥304.00
【预订】Decision Procedures: An Algorithmic Point of View 978366 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783662504963 Author 作者 P. S. Reanu, Corina S. Format 版本 精装 Publisher 出版社 Springer Publication Date 出版日期 2016-11-07 Language 语种 英语
¥780.00
预订 Software Engineering and Formal Methods: 19th Internation 【全球购】进口原版图书,约5-8周到达国内后发出
¥891.00
预订 Formal Methods: 24th International Symposium, FM 2021, Vi 【全球购】进口原版图书,约5-8周到达国内后发出
¥834.00