Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 s...
Saved in:
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Namjoshi, Kedar. (Editor, http://id.loc.gov/vocabulary/relators/edt), Zeller, Andreas. (Editor, http://id.loc.gov/vocabulary/relators/edt), Ziv, Avi. (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2011.
|
Edition: | 1st ed. 2011. |
Series: | Programming and Software Engineering ;
6405 |
Subjects: | |
Online Access: | https://doi.org/10.1007/978-3-642-19237-1 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings /
Published: (2008) -
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Published: (2006) -
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers /
Published: (2007) -
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Published: (2011) -
Hardware and Software: Verification and Testing 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
Published: (2015)