【预订】Advances in Design Methods from Modeling Languages 美国库房发货,通常付款后3-5周到货!
¥1560
【预订】Correct Hardware Design and Verification Methods 9783540 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540291053 Author 作者 Borrione Format 版本 平装-胶订 Pages Number 页数 414页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-19 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.
¥520.00
预订 Correct Hardware Design and Verification Methods: 13th If 【全球购】进口原版图书,约5-8周到达国内后发出
¥577.00
海外直订Correct Hardware Design and Verification Methods: 13th I
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Advances in Design Methods from Modeling Languages for E 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9789048193035 Author 作者 Borrione Format 版本 精装 Pages Number 页数 248页 Publisher 出版社 Springer Netherlands Publication Date 出版日期 2010-09-18 Shipping Weight 商品重量 1190g Language 语种 英语 Book Contents 内容简介 More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems.FDL 2009 is the twelfth in a series of events that were held all over Europe, in selected locations renowned for their Universities and Reseach Institutions as well as the importance of their industrial environment
¥1560
预订 Advances in Design Methods from Modeling Langua... 978940 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9789400733336 作者: Dominique Borrione 装帧: 平装-胶订 页数: 248页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2012-11-06 重量: 1g 语种: 其它(含多语) 内容简介 This book presents extensions to standard specification and deion language
¥1551
预订 Advances in Design Methods from Modeling Langua... 978904 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9789048193035 作者: Dominique Borrione 装帧: 精装 页数: 248页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2010-09-18 重量: 1g 语种: 其它(含多语) 内容简介 This book presents extensions to standard specification and deion languages, as w
¥1943
Correct Hardware Design and Verification Methods正确的硬件设计与验证法/
¥775.60