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

Formal System Verification
EISBN：9783319576855
PISBN：9783319576831
出版社：Springer International Publishing
出版类型：Monograph
出版时间：2018
版次：1st ed. 2018
作者：Rolf Drechsler
主题词：Engineering,Circuits and Systems,Processor Architectures,Electronics and Microelectronics,Instrumentation
语种：英语
所属数据库：SpringerLink电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Verification of Control System Software
  • 作者：Garoche,Pierre-Loïc;
  • EISBN：9780691189581
  • 出版社：Princeton University Press
  • 出版时间：2019-05-14
...

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

System Verification
  • 作者：Jeffrey O. Grady
  • PISBN：9780123740144
  • 出版时间：2007
...

System Verification
  • 作者：Grady,Jeffrey
  • PISBN：9780128042212
  • 出版时间：2016
...

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

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