Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read


Download Options

Buy this book

Last edited by ImportBot
February 26, 2022 | History

Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English

Buy this book

Previews available in: English

Book Details


Edition Notes

Published in
Berlin, Heidelberg
Series
Lecture Notes in Computer Science -- 6504

Classifications

Library of Congress
QA76.76.V47 I54 2010, QA75.5-76.95, QA76.758

The Physical Object

Format
[electronic resource] :

ID Numbers

Open Library
OL25555597M
Internet Archive
hardwaresoftware2010barn
ISBN 13
9783642195822, 9783642195839
LCCN
2011923074

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 26, 2022 Edited by ImportBot import existing book
December 29, 2021 Edited by ImportBot import existing book
October 17, 2020 Edited by MARC Bot import existing book
August 22, 2020 Edited by ImportBot import existing book
July 29, 2014 Created by ImportBot Imported from Internet Archive item record