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
Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by MARC Bot
December 29, 2022 | History

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

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

Publish Date
Publisher
Springer
Language
English
Pages
265

Buy this book

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

Edition Identifiers

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

Work Identifiers

Work ID
OL16932744W

Community Reviews (0)

No community reviews have been submitted for this work.

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