Cover of Eran Yahav (EDT): Hardware and Software: Verification and Testing

Eran Yahav (EDT) Hardware and Software: Verification and Testing

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

New

E-book delivered electronically online

E-Book information

Springer International Publishing

2014

PDF
How do I buy e-book?

978-3-319-13338-6

3-319-13338-1

Annotation

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

Ask question

You can ask us about this book and we'll send an answer to your e-mail.