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

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
অন্যান্য লেখক: Barner, Sharon (Editor)
বিন্যাস: Electronic Resource
ভাষা:English
প্রকাশিত: Heidelberg, New York Springer [©2011].
মালা:Lecture Notes in Computer Science 6504
বিষয়গুলি:
Software architecture > Congresses.
Computer input-output equipment > Congresses.
Computer software > Verification > Congresses.
অনলাইন ব্যবহার করুন:Available for University of the Philippines Diliman via SpringerLink. Click here to access