Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 23-26, 2006 ... Notes in Computer Science (4383), Band 4383)

Verification

von: Eyal Bin · Shmuel Ur · Avi Ziv

Taschenbuch

ISBN: 978-3-540-70888-9

ISBN-10: 3-540-70888-X

Springer · 2009

Siehe auch (möglicherweise von anderen Autoren):
2009TaschenbuchHardware and Software: Verification and Testing: 4th International Haifa Verification Conference, H.V.C. 2008, Haifa, Israel, October 27-30, 2008, . . ... Notes in Computer Science, Band 5394)
2008TaschenbuchHardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... Notes in Computer Science, Band 4899)