Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings

Hardware and software, verification and testing third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings

Bibliographic Details
Main Author: Yorav, Karen (Author)
Corporate Author: International Haifa Verification Conference (3rd : 2007 : Haifa, Israel)
Format: Book
Published: Berlin ; New York Springer c2008
Series:Lecture notes in computer science, 0302-9743 4899
LNCS sublibrary. SL 2, Programming and software engineering
Subjects:
Computer input-output equipment > Congresses
Computer programs > Verification > Congresses
Computer software > Verification > Congresses
Software architecture > Congresses

Tembila General Collection

Holdings details from Tembila General Collection
Call Number: QA76 76 V47 I54 2006
Accession Item Category Format Status Notes
1000119420 OPEN SHELF (30 DAYS) Book Available

Similar Items