登入
選單
返回
Google圖書搜尋
Advanced Formal Verification
Rolf Drechsler
出版
Springer
, 2014-01-15
主題
Computers / Design, Graphics & Media / CAD-CAM
Computers / Computer Science
Computers / Data Science / General
Technology & Engineering / Electrical
Technology & Engineering / Electronics / Circuits / General
ISBN
1475779852
9781475779851
URL
http://books.google.com.hk/books?id=GnMcswEACAAJ&hl=&source=gbs_api