Programming and Software Engineering

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Editors: Biere, Armin, Nahir, Amir, Vos, Tanja E.J. (Eds.)

Free Preview
  • Fast track conference proceedings
  • Unique visibility
  • State of the art research
see more benefits

Buy this book

eBook $39.99
price for USA in USD
  • ISBN 978-3-642-39611-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $54.99
price for USA in USD
About this book

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.

Table of contents (28 chapters)

Table of contents (28 chapters)

Buy this book

eBook $39.99
price for USA in USD
  • ISBN 978-3-642-39611-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $54.99
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Hardware and Software: Verification and Testing
Book Subtitle
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Editors
  • Armin Biere
  • Amir Nahir
  • Tanja E.J. Vos
Series Title
Programming and Software Engineering
Series Volume
7857
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-39611-3
DOI
10.1007/978-3-642-39611-3
Softcover ISBN
978-3-642-39610-6
Edition Number
1
Number of Pages
XII, 281
Number of Illustrations
75 b/w illustrations
Topics