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)
von:
Eyal Bin
·
Shmuel Ur
·
Avi Ziv
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-70888-9
ISBN-10: 3-540-70888-X
Springer
· 2009
Siehe auch (möglicherweise von anderen Autoren):
2009
Taschenbuch
Hardware 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)
2008
Taschenbuch
Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... Notes in Computer Science, Band 4899)