This page contains enriched content visible when JavaScript is enabled.
My Account
Library Home
Your session will expire automatically in
0
seconds.
Continue session
End session now
Return to Browse
Modify Search
SearchType
Keyword
Title
Author (Last name first)
Subject
ISBN/ISSN
Call Number
Unit Code
Libraries Australia No.
Library of Congress No.
Search
Search Scope
Entire Collection
Print Books
E-books
All books
E-journals
All journals
Databases
All e-resources
Streaming Video
DVDs
Curriculum Resources
Deakin Theses
Special Collections
Melbourne Burwood
Warrnambool
Geelong Waterfront
Geelong Waurn Ponds
Limit search to available items
2 results found.
sorted by date
.
Add Marked to Bag
Add All On Page
Add Marked to My Lists
Keywords (1-2 of 2)
1
2007
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)
Berlin ; New York : Springer, [2007]
Rating:
Request It
Location
Call no.
Vol.
Availability
W'PONDS
005.14 Ihv/Con 2006
AVAILABLE
2
2007
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers
International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)
Rating:
Electronic Resources
More...
Add Marked to Bag
Add All On Page
Add Marked to My Lists
Return to Browse
Modify Search