Your search returned 4 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
2.
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (ed.). by Series: Lecture notes in computer science ; 4899. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12225194
Publication details: Berlin ; New York : Springer, 2008
Other title:
  • HVC 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
3.
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.). by Series: Lecture notes in computer science ; 3875.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • First International Haifa Verification Conference
  • International Haifa Verification Conference
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Pages

Powered by Koha