海外直订Formal Methods in Computer-Aided Design: Third Internati
¥1028
【预订】Formal Methods in Computer-Aided Design: Third 美国库房发货，通常付款后3-5周到货！
¥1217
【预订】Formal Methods in Computer-Aided Design 9783540237389 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540237389 Author 作者 Hu Format 版本 平装-胶订 Pages Number 页数 448页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-11-17 Language 语种 英语
¥608.00
【预订】Formal Methods in Computer-Aided Design 9783540651918 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540651918 Author 作者 Gopalakrishnan Format 版本 平装-胶订 Pages Number 页数 538页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-10-21 Language 语种 英语
¥608.00
【预订】Formal Methods in Computer-Aided Design 9783540001164 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540001164 Author 作者 Aagaard Format 版本 平装-胶订 Pages Number 页数 408页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-23 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional verication has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, t
¥608.00
海外直订Formal Methods in Computer-Aided Design: 5th Internation
¥553.00
海外直订Formal Methods in Computer-Aided Design: Second Internat
¥553.00
预订 Formal Methods in Computer-Aided Design: 4th Internationa 【全球购】进口原版图书，一般5-8周左右到国内
¥647.00
海外直订Formal Methods in Computer-Aided Design: 4th Internation
¥553.00
3-6周达 Formal Methods in Computer-Aided Design: Third Interna 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1278
预订 Formal Methods in Computer-Aided Design: 5th Internationa 【全球购】进口原版图书，一般5-8周左右到国内
¥648.00
海外直订Formal Methods in Computer-Aided Design: First Internati
¥553.00
Formal Methods in Computer-Aided Design(计算机辅助设计中的形式方法/会议录)
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science research forum available. The scope of LNCS, including its subseries LNAI and LNBI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes -proceedings (published in time for the respective conference) -post-proceedings (consisting of thoroughly revised final full papers) -research monographs (which may be based on outstanding PhD work,research projects, technical reports, etc.)
¥596.60
