Enlarge

Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings

Publication Data

Title Hardware and software: verification and testing : 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings
Contributors Valeria Bertacco, Axel Legay
Publisher Springer
Publication date 2013
Publication location Cham
Language English

Topics

Computer programs :: Verification :: Congresses
Software architecture :: Congresses
Computer input-output equipment :: Congresses
Computer software :: Verification :: Congresses

Catalogue Data

OBNB ID GBB3A7629
ISBN 10 3319030760
ISBN 13 9783319030760
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 xix, 366 pages
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 : 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings. ISBN 9783319030760. Published by Springer in 2013. Publication and catalogue information, links to buy online and reader comments.