登入選單
返回Google圖書搜尋
Logics for Digital Circuit Verification
Geert JanssenGradus Leonardus Johannes Maria Janssen
其他書名
Theory, Algorithms, and Applications
出版Technische Universiteit Eindhoven, 1999
ISBN90386156049789038615608
URLhttp://books.google.com.hk/books?id=YyHfAAAACAAJ&hl=&source=gbs_api