<電子ブック>
Hardware and software : verification and testing : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers

責任表示
著者
本文言語
出版者
出版年
出版地
関連情報
本文を見る Full text available from Springer Computer Science eBooks 2011 English/International
Full text available from SpringerLINK Lecture Notes in Computer Science (2015)

詳細

レコードID
刊行頻度
主題
SSID
LCCN
NBN
eISBN
登録日 2020.06.27
更新日 2020.06.28