3-6周达 System-on-Chip Methodologies & Design Languages [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1579
【预订】UML-B Specification for Proven Embedded Systems 美国库房发货，通常付款后3-5周到货！
¥1825
【预订】Fundamentals and Standards in Hardware De*ion 美国库房发货，通常付款后3-5周到货！
¥4015
海外直订Electronic Chips & Systems Design Languages 电子芯片与系统设计语言“
¥2067
预订 Fundamentals and Standards in Hardware Description Langua 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥2722
预订 System Specification & Design Languages: Best of Fdl'02 [ 【全球购】进口原版图书，约3-6周到达国内后发出
¥1557
【预订】VHDL for Simulation, Synthesis and Formal Proofs of 美国库房发货，通常付款后3-5周到货！
¥2434
预订 Electronic Chips & Systems Design Languages [ISBN:9781441 【全球购】进口原版图书，一般5-8周左右到国内
¥2508
预售 按需印刷 Crazy Book-Collecting Or Bibliomania (1894 北京发货，付款后10天内发货
¥125.00
【预订】Electronic Chips & Systems Design Languages Y97807923731 美国库房发货，通常付款后3-5周到货！
¥2434
【预订】UML-B Specification for Proven Embedded Systems Design 9 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781441952561 Author 作者 Mermet Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Springer US Publication Date 出版日期 2010-12-03 Language 语种 英语 Book Contents 内容简介 This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived in the course of the research during 2002 -2003. The initial statement of the research was formulated as follows: The objective of PUSSEE is to introduce the formal proof of system properties throughout a modular system design methodology that integrates sub-systems co-verification with system refinement and reusability of virtual system components. This will be done by combining the UML and B languages to allow the verification of system specifications through the composition of proven sub-systems (in particular interfaces, u
¥1825
按需印刷Crazy Book-Collecting Or Bibliomania (1894) 预订，预计下单后2-3周左右发货！
¥125.00
【预订】Crazy Book-Collecting or Bibliomania (1894) 978116642277 美国库房发货，通常付款后3-5周到货！
¥260.00
预订 Uml-B Specification for Proven Embedded Systems Design [I 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥1983
3-6周达 System-on-Chip Methodologies & Design Languages [ISBN: 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥1573
预订 Electronic Chips & Systems Design Languages [ISBN:9780792 【全球购】进口原版图书，约3-6周到达国内后发出
¥1974
【预订】de La Bibliomanie 9781147704471 美国库房发货，通常付款后3-5周到货！
¥180.00
预订 Uml-B Specification for Proven Embedded Systems Design [I 【全球购】进口原版图书，约3-6周到达国内后发出
¥1557
预订 Rapport sur l’établissement orthopédique de Montfleuri Mo 国外库房发货，通常付款后3-5周到货
¥178.00
【预订】Fundamentals and Standards in Hardware De*ion Languages 美国库房发货，通常付款后3-5周到货！
¥4015
海外直订Electronic Chips & Systems Design Languages 电子芯片与系统设计语言
¥2067
预订 VHDL for Simulation, Synthesis and Formal Proofs of Hardw 【全球购】进口原版图书，一般5-8周左右到国内
¥2508
【预订】VHDL for Simulation, Synthesis and Formal Proofs of Hard 美国库房发货，通常付款后3-5周到货！
¥2434
