Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / Ofer Strichman, Rachel Tzoref-Brill (eds.).
2017
QA76.76.V47
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Hardware and software : verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings / Ofer Strichman, Rachel Tzoref-Brill (eds.).
ISBN
9783319703893 (electronic book)
3319703897 (electronic book)
9783319703886
3319703897 (electronic book)
9783319703886
Published
Cham, Switzerland : Springer, 2017.
Language
English
Description
1 online resource (xxii, 253 pages) : illustrations.
Item Number
10.1007/978-3-319-70389-3 doi
Call Number
QA76.76.V47
Dewey Decimal Classification
005.1/4
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 20, 2017).
Series
Lecture notes in computer science ; 10629.
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