Hardware and Software : Verification and Testing
7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ...
by Kerstin Eder
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011.
The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.
Check nearby libraries
Buy this book
Subjects
Logic design, Logics and Meanings of Programs, Computer science, Software engineering, Programming Languages, Compilers, Interpreters, Artificial intelligence, Artificial Intelligence (incl. Robotics), Computer programs, Congresses, Verification, Software architecture, Computer software, testing, Computer input-output equipment| Edition | Availability |
|---|---|
1
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
2012, Springer Berlin Heidelberg, Imprint: Springer
electronic resource :
in English
3642341888 9783642341885
|
zzzz
|
2
Hardware and Software : Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ...
Oct 09, 2012, Springer
paperback
364234187X 9783642341878
|
aaaa
|
Book Details
Edition Notes
Source title: Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised ... (Lecture Notes in Computer Science (7261))
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created May 16, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| December 29, 2021 | Edited by ImportBot | import existing book |
| May 16, 2020 | Created by ImportBot | Imported from amazon.com record |