Showing
1 - 7
results of
7
for search '
'
Skip to content
Texas A&M University Libraries
Texas A&M University Libraries
MyLibrary
Help
MyLibrary
Help
Libraries Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Author:
Remove Filter
International Haifa Verification Conference Haifa, Israel
Language:
Remove Filter
English
Other:
Remove Filter
Verification
Page will reload when a filter is removed.
Reset Filters
Show filters (3)
Author:
Remove Filter
International Haifa Verification Conference Haifa, Israel
Language:
Remove Filter
English
Other:
Remove Filter
Verification
Search Results
Showing
1 - 7
results of
7
for search '
'
, query time: 0.15s
Refine Results
Sort
Relevance
Publish Date (newest first)
Publish Date (oldest first)
Call Number
Author
Title
1
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
Book
2
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Published 2007
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
Book
3
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Published 2007
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
4
Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
Published 2009
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
5
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
Published 2008
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
6
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /
Published 2006
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
7
Hardware and software: verification and testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010, Revised selected papers /
Published 2011
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
Conference Proceeding
eBook
Search Tools:
RSS Feed
–
Email Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Available Online
Format
Conference Proceeding
7 results
7
eBook
5 results
5
Book
2 results
2
Library Locations
Please enable JavaScript.
Year of Publication
From:
To:
Author
International Haifa Verification Conference Haifa, Israel
SpringerLink (Online service)
5 results
5
Bin, Eyal
4 results
4
Ur, Shmuel
4 results
4
Wolfsthal, Yaron
2 results
2
Ziv, Avi
2 results
2
Barner, Sharon
1 results
1
Chockler, Hana
1 results
1
Hu, Alan J. (Alan John)
1 results
1
Yorav, Karen
1 results
1
see all…
Language
English
Loading...