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)
von
Hana Chockler
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-01701-8
ISBN-10: 3-642-01701-0
Springer
· 2009
S. auch (eventuell von anderen Autoren):
2009
Taschenbuch
Hardware and Software, Verification and Testing: Second International Haifa Verification Conference, HVC 2006 Haifa, Israel, October 23-26, 2006 ... Notes in Computer Science, Band 4383)
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)
