Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / edited by Shmuel Ur, Eyal Bin, Yaron Wolfsthal.

By: Contributor(s): Material type: Computer fileComputer fileSeries: Lecture Notes in Computer Science ; 3875Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.Edition: 1a edDescription: v.: digitalISBN:
  • 9783540326052
Subject(s): LOC classification:
  • QA76.76.V47 U7 2006
Online resources: In: Springer eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)

Powered by Koha