An edition of Hardware and software, verification and testing (2006)

Hardware and Software, Verification and Testing

First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science)

1 edition

by , , and

Cover of: Hardware and Software, Verification and Testing by Shmuel Ur, Eyal Bin, Yaron Wolfsthal
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
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 29, 2022 | History
Edit
An edition of Hardware and software, verification and testing (2006)

Hardware and Software, Verification and Testing

First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science)

1 edition

by , , and

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

Publish Date
Publisher
Springer
Language
English
Pages
265

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Congresses, Verification, Computer programs, Computer systems, Integrated circuits, Computer software, Hardware, Software architecture, Computer input-output equipment

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Hardware and Software, Verification and Testing
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
May 11, 2006, Springer
Paperback in English - 1 edition
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Classifications

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

The Physical Object

Format
Paperback
Number of pages
265
Dimensions
9.2 x 6.1 x 0.7 inches
Weight
14.4 ounces

ID Numbers

Open Library
OL9320175M
Internet Archive
hardwaresoftware00ursh
ISBN 10
3540326049
ISBN 13
9783540326045
LCCN
2006921186
OCLC/WorldCat
68439376
Goodreads
1307953

Source records

amazon.com record
Library of Congress MARC record
Library of Congress MARC record
Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record
marc_nuls MARC record
Internet Archive item record
harvard_bibliographic_metadata record

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
December 29, 2022 Edited by MARC Bot import existing book
October 4, 2021 Edited by ImportBot import existing book
December 17, 2020 Edited by MARC Bot import existing book
July 28, 2014 Created by ImportBot import new book