圖書名稱: | 2004年第2屆國際驗證與分析的自動化技術(shù)會議錄 | |||
封面圖片: |
![]() |
|||
出版印刷時間: | 2004年11月 | |||
出版社: | 1 (2004年11月23日) | |||
圖書作者: | Farn Wang | |||
文件格式: | ||||
13位ISBN: | 9783540236108 | |||
10位ISBN: | 3540236104 | |||
頁數(shù): | 504 | |||
下載地址: | 2004年第2屆國際驗證與分析的自動化技術(shù)會議錄PDF格式下載 | |||
|
||||
查看詳細(xì): | 2004年第2屆國際驗證與分析的自動化技術(shù)會議錄 | |||