Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
David Harel (auth.), Armin Biere, Amir Nahir, Tanja Vos (eds.)This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.
درجه (قاطیغوری(:
کال:
2013
خپرونه:
1
خپرندویه اداره:
Springer-Verlag Berlin Heidelberg
ژبه:
english
صفحه:
281
ISBN 10:
3642396119
ISBN 13:
9783642396113
لړ (سلسله):
Lecture Notes in Computer Science 7857
فایل:
PDF, 3.51 MB
IPFS:
,
english, 2013
د دې کتاب ډاونلوډ کول د کاپي حق لرونکي د شکایت له امله ممکن نه دئ