Enlarge

Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers

Publication Data

Title Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers
Alternative Title HVC 2009
Contributors Kedar S. Namjoshi, Andreas Zeller, Avi Ziv
Publisher Springer
Publication date 2011
Publication location Berlin
Language English

Descriptive Notes

International conference proceedings.

Topics

Computer input-output equipment :: Congresses
Computer software :: Verification :: Congresses

Catalogue Data

OBNB ID GBB130348
ISBN 10 364219236X
ISBN 13 9783642192364
Type BibliographicResource, Book
Dewey Classification 004.24

ISBD

P1053 x, 168 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Hardware and software: verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers. ISBN 9783642192364. Published by Springer in 2011. Publication and catalogue information, links to buy online and reader comments.