Hardware and software : verification and testing : 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Haifa Verification Conference (10th : 2014 : Haifa, Israel)
Imprint:	Cham : Springer, 2014.
Description:	1 online resource (xvi, 302 pages) : illustrations.
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 8855 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 8855. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Computer programs -- Verification -- Congresses. Software architecture -- Congresses. Computer programs -- Verification. Software architecture. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11089766

Hidden Bibliographic Details
Other authors / contributors:	Yahav, Eran, editor.
ISBN:	9783319133386 3319133381 3319133373 9783319133379 9783319133379
Notes:	International conference proceedings. Includes author index. Online resource; title from PDF title page (SpringerLink, viewed November 21, 2014).
Summary:	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.
Other form:	Printed edition: 9783319133379
Standard no.:	10.1007/978-3-319-13338-6

Similar Items