|
|
|
Item Details
Title:
|
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
6TH INTERNATIONAL HAIFA VERIFICATION CONFERENCE, HVC 2010, HAIFA, ISRAEL, OCTOBER 4-7, 2010. REVISED SELECTED PAPERS |
By: |
Sharon Barner (Editor), Ian Harris (Editor), Daniel Kroening (Editor) |
Format: |
Paperback |
List price:
|
£53.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3642195822 |
ISBN 13: |
9783642195822 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
17 March, 2011 |
Edition: |
2011 ed. |
Series: |
Lecture Notes in Computer Science 6504 |
Pages: |
197 |
Description: |
Constitutes the post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, that was held in Haifa, Israel in October 2010. This book includes 10 full papers together with 7 invited papers that address issues, challenges and future directions of verification for hardware, software, and hybrid systems. |
Synopsis: |
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon. |
Illustrations: |
13 Illustrations, color; 38 Illustrations, black and white; X, 197 p. 51 |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|