Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers - Lecture Notes in Computer Science 7857 (Paperback)Armin Biere (editor), Amir Nahir (editor), Tanja E. J. Vos (editor)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 281
Weight: 456 g
Dimensions: 235 x 155 x 15 mm
Edition: 2013 ed.
You may also be interested in...
Please sign in to write a review