登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

A Roadmap for Formal Property Verification
EISBN：9781402047589
PISBN：9781402047572
出版社：Springer Netherlands
出版类型：Monograph
出版时间：2006
作者：Pallab DasGupta
主题词：Circuits and Systems,Computer-Aided Engineering (CAD,CAE) and Design,Electronics and Microelectronics,Instrumentation,Logic Design,Electrical Engineering,Mathematical Logic and Formal Languages
语种：英语
所属数据库：SpringerLink电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Verification
  • 作者：Seligman,Erik
  • PISBN：9780128007273
  • 出版时间：2015
...

Formal Verification of Circuits
  • 作者：Rolf Drechsler
  • EISBN：9781475731842
  • 出版社：Springer US
  • 出版时间：2000
...

Formal Verification of Circuits
  • 作者：Rolf Drechsler
  • EISBN：9781475731842
  • 出版社：Springer US
  • 出版时间：2000

A Theory of Property
  • EISBN：9780511609138
  • 出版社：Cambridge University Press
  • 出版时间：1990
...

Formal System Verification
  • 作者：Rolf Drechsler
  • EISBN：9783319576855
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Formal Hardware Verification
  • 作者：Thomas Kropf
  • EISBN：9783540695776
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997