预订 The Mathematics of Internet Congestion Control [ISBN:9781 【全球购】进口原版图书,约5-8周到达国内后发出
¥457.00
【预订】Network Optimization and Control 美国库房发货,通常付款后3-5周到货!
¥736.00
海外直订The Mathematics of Internet Congestion Control 网络拥塞控制的数学
¥594.00
明星店铺 中华商务进口图书旗舰店
【预订】NASA Formal Methods 9783319406473 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783319406473 Author 作者 Rayadurgam Format 版本 平装-胶订 Pages Number 页数 396页 Publisher 出版社 Springer International Publishing Publication Date 出版日期 2016-06-04 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.8 cm Shipping Weight 商品重量 635g Language 语种 英语 Book Contents 内容简介 This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers were organized in topical sections named: requirements and architectures; testing and run-time enforcement; theorem proving and proofs; application of formal methods; code generation and synthesis; model checking and verification; and correctness and certification.
¥648.00
海外直订The Mathematics of Internet Congestion Control 网络拥塞控制的数学
¥588.00
明星店铺 中华商务进口图书旗舰店
【预订】The Mathematics of Internet Congestion Control 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥750.77