Enlarge

Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings

Publication Data

Title Hardware and software: verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings
Contributor Nir Piterman
Publisher Springer
Publication date 2015
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 GBB5H2616
ISBN 10 3319262866
ISBN 13 9783319262864
Type BibliographicResource, Book
Dewey Classification 005.14

ISBD

P1053 xvi, 291 pages
P1042 Includes bibliographical references and author 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 : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings. ISBN 9783319262864. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.