Hardware and Software: Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, ... Notes in Computer Science (4899), Band 4899)
von
Karen Yorav
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-540-77964-3
ISBN-10: 3-540-77964-7
Springer
· 2008
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 (4383), Band 4383)
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)
