Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, ... / Programming and Software Engineering)
by
ISBN 13: 9783540708889
Format: Paperback (235 pages) Publisher: Springer Published: 09 Feb 2007
Save for later
Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised ... / Programming and Software Engineering)
ISBN 13: 9783540326045
Format: Paperback (275 pages) Publisher: Springer Published: 06 Apr 2006