《驗(yàn)證與分析的自動化技術(shù) Automated technology for verification and analysis》下載

《驗(yàn)證與分析的自動化技術(shù) Automated technology for verification and analysis》PDF下載

圖書名稱: 驗(yàn)證與分析的自動化技術(shù) Automated technology for verification and analysis
封面圖片:
出版印刷時間: 2006-12
出版社: 湖南文藝出版社
圖書作者: Susanne Graf 著
文件格式: PDF
13位ISBN: 9783540472377
10位ISBN: 3540472371
頁數(shù): 540
下載地址: 驗(yàn)證與分析的自動化技術(shù) Automated technology for verification and analysisPDF格式下載
    
查看詳細(xì): 驗(yàn)證與分析的自動化技術(shù) Automated technology for verification and analysis

250萬本中文圖書簡介、評論、評分,PDF格式免費(fèi)下載。 第一圖書網(wǎng) 手機(jī)版

京ICP備13047387號-7