Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
Hardware and software verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers
- Author / Creator
- Conferences
- International Haifa Verification Conference (1st : 2005 : Haifa, Israel)
- Available as
- Online
Details
- Creator
- Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
- Format
- Books
- Language
- English
- Contributors
- Publication
-
- Berlin ; New York : Springer, [2006]
- ©2006
- Physical Details
-
- x, 264 pages : illustrations
- ISBNs
- 9783540326045, 3540326049
- OCLC
- ocm69664749
- Includes bibliographical references and index.
- Electronic reproduction. Berlin : Springer-Verlag, [2006]. System requirements: Adobe Acrobat Reader. Mode of access: World Wide Web. Made available through SpringerLink.