Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, Hvc 2011, Haifa, Israel, December 6-8, 2011, Revised 2012 Edition Contributor(s): Eder, Kerstin (Editor), Lourenҫo, Joćo (Editor), Shehory, Onn (Editor) |
|
![]() |
ISBN: 364234187X ISBN-13: 9783642341878 Publisher: Springer OUR PRICE: $68.40 Product Type: Paperback - Other Formats Published: October 2012 |
Additional Information |
BISAC Categories: - Computers | Compilers - Computers | Programming Languages - General - Computers | Software Development & Engineering - General |
Dewey: 005.14 |
Series: Lecture Notes in Computer Science / Programming and Software |
Physical Information: 0.7" H x 6" W x 9" (0.85 lbs) 263 pages |