Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissi...

全面介绍

书目详细资料
企业作者:	International Haifa Verification Conference Haifa, Israel, SpringerLink (Online service)
其他作者:	Barner, Sharon
格式:	Electronic Resource
语言:	英语
出版:	Heidelberg, New York Springer c2011.
丛编:	Lecture Notes in Computer Science 6504
主题:	Computer software > Verification > Congresses. Software architecture > Congresses. Computer input-output equipment > Congresses. Electronic books.
在线阅读:	Available for University of the Philippines Systems via SpringerLink. Click here to access