Hardware and software [electronic resource] : verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings / Eran Yahav (ed.).
2014
QA76.76.V47
Linked e-resources
Linked Resource
Online Access
Details
Title
Hardware and software [electronic resource] : verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings / Eran Yahav (ed.).
ISBN
9783319133386 electronic book
3319133381 electronic book
9783319133379
3319133381 electronic book
9783319133379
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (xvi, 302 pages) : illustrations.
Item Number
10.1007/978-3-319-13338-6 doi
Call Number
QA76.76.V47
Dewey Decimal Classification
005.14
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed November 21, 2014).
Added Author
Yahav, Eran, editor.
Series
Lecture notes in computer science ; 8855.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources