Home > Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Book Informaton
Author
Kerstin Eder; João Lourenҫo; Onn Shehory
Series
Lecture Notes in Computer Science
Volume
7261
Year of Publication
2012
Publisher
Springer Berlin Heidelberg
Pages
XII, 263
Language
en
ISBN
9783642341878, 9783642341885, 364234187X
ARI Id
1665038094980
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 28 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-2 | |||
3-3 | |||
4-4 | |||
5-19 | |||
20-34 | |||
35-49 | |||
50-65 | |||
66-79 | |||
80-94 | |||
95-114 | |||
115-129 | |||
130-144 | |||
145-159 | |||
160-175 | |||
176-189 | |||
190-202 | |||
203-218 | |||
219-233 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 28 entries
Topics
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