Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers

作者：edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv.
出版社：Springer Berlin Heidelberg
ISBN：9783642192371 (electronic bk.) ; 9783642192364 (paper)
出版日期：2011
其他作者：Namjoshi, Kedar. ; Zeller, Andreas. ; Ziv, Avi.
語言：zh
出版地：Berlin, Heidelberg :
內容簡介

x, 168 p. ::ill., digital ;:24 cm.

搜尋同作者