【预订】FM 2008: Formal Methods 9783540682356 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540682356 Author 作者 Jorge Cuellar Siemens AG München Germany Format 版本 平装-胶订 Pages Number 页数 436页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-05-08 Shipping Weight 商品重量 694g Language 语种 英语 Book Contents 内容简介 This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
¥608.00
3-6周达 FM 2008: Formal Methods: 15th International Symposium 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】The Infantry Weapons Company: The Official U.S. Army Fie 美国库房发货，通常付款后3-5周到货！
¥249.00
【纸版图书】HG/T 4037-2008乳化剂FM 此商品属于定制类，不支持7天无理由退换货，请谨慎购买。
¥6.80定价：¥8.00 (8.5折)
按需印刷POR Educa??o Indígena Makuxi pelas ondas da FM Monte Ror 预订，预计下单后3-6周左右发货！
¥854.00
