跳至 : 概要 | 書目資訊 | 主題

International Haifa Verification Conference (2007 :)

概要
作品: 1 作品在 0 項出版品 0 種語言
書目資訊
Hardware and Software: Verification and Testing = Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings / by: Yorav, Karen.; SpringerLink (Online service); International Haifa Verification Conference (2007 :) (書目-語言資料,印刷品)
 
 
變更密碼
登入