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
Request It
Save to My Lists
Export
Return to Browse
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
Record 2 of 3
Previous Record
Next Record
  Permalink    
Author
International Haifa Verification Conference (2nd : 2006 : Haifa, Israel)
Title
Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Published
Berlin ; New York : Springer, [2007]
©2007
Copies
Location
Call no.
Vol.
Availability
W'PONDS
005.14 Ihv/Con 2006
AVAILABLE
Description
xii, 234 pages : illustrations ; 24 cm
Series
Lecture notes in computer science, 0302-9743 ; 4383
Lecture notes in computer science. 0302-9743 ; 4383
Contents
Hardware verification track -- Tools track -- Software testing track
Bibliography
Includes bibliographical references and index
Notes
Also issued online
Subject
Computer programs -- Verification -- Congresses.
Software architecture -- Congresses.
Computer input-output equipment -- Congresses.
Computer software -- Verification -- Congresses.
Genre/Form
Conference papers and proceedings.
Author
Bin, Eyal.
Ziv, Avi.
Ur, Shmuel.
LC no.
2007920490
ISBN
9783540708889 (soft cover : alk. paper)
354070888X (soft cover : alk. paper)
Other Titles
HVC 2006
  Permalink