登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Formal methods and models for system design : a system level perspective
出版社：Boston : Kluwer Academic Publishers, c2004.
ISBN：1402080514
出版年：2004
作者：Gupta,Rajesh
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE
  • 作者：IEEE/ACM International Conference on Formal Methods and Models for Codesign
  • ISBN：9781538661963
  • 出版社：Piscataway, N.J. : IEEE, 2018.
  • 出版年：2018
...

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2016
  • 作者：IEEE/ACM International Conference on Formal Methods and Models for Codesign
  • ISBN：9781509027927
  • 出版社：Piscataway, N.J. : IEEE, 2016.
  • 出版年：2016
...

Automated analysis of virtual prototypes at the electronic system level : design understanding and a
  • 作者：Goli,Mehran,
  • ISBN：9783030442811
  • 出版社：Cham : Springer, 2020.
  • 出版年：2020
...

Introduction to VLSI systems : a logic, circuit, and system design perspective
  • 作者：Lin,Ming-Bo.
  • ISBN：9781439868591
  • 出版社：Boca Raton : CRC Press, 2012.
  • 出版年：2012
...

A New Ecology : System perspective
  • 作者：Jorgensen Sven Erik
  • ISBN：9780444531605
  • 出版社：Amsterdam : Elsevier Science , 2007.
  • 出版年：2007
...

System level ESD co-design
  • 作者：Duvvury,Charvaka,
  • ISBN：9781118861905
  • 出版年：2015