Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised ... Notes in Computer Science, Band 7857)
von:
Armin Biere
· Amir Nahir · Tanja Vos
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-39610-6
ISBN-10: 3-642-39610-0
Springer
· 2013
