借閱次數: 0
|
Hardware and software : verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
- 作者:edited by Hana Chockler, Alan J. Hu
- 出版者:Springer Berlin Heidelberg
- 出版地:Berlin, Heidelberg :
- 語文:英語
- 叢書名:Lecture notes in computer science ;
- 電子資源:連結全文
- ISBN/ISSN/ISRC:9783642017025 ((electronic bk.)) ; 9783642017018 ((paper))
- 作者:Chockler Hana;Hu Alan J
- 索書號:004.24
- 團體作者:
|