All 3 Valeria Bertacco releases on Paperback Book an... Book
Categories
Other
Support
ZAR
In stock at iMusic
Show unavailable items
![Cover for Valeria Bertacco · Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)](https://imusic.b-cdn.net/images/item/original/760/9783319030760.jpg?valeria-bertacco-2013-hardware-and-software-verification-and-testing-9th-international-haifa-verification-conference-hvc-2013-haifa-israel-november-5-7-2013-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1615225687)
![Cover for Valeria Bertacco · Scalable Hardware Verification with Symbolic Simulation (Paperback Book) [Softcover reprint of hardcover 1st ed. 2006 edition] (2010)](https://imusic.b-cdn.net/images/item/original/391/9781441937391.jpg?valeria-bertacco-2010-scalable-hardware-verification-with-symbolic-simulation-paperback-book&class=scaled&v=1431246106)
![Cover for Valeria Bertacco · Scalable Hardware Verification with Symbolic Simulation (Hardcover Book) [2006 edition] (2005)](https://imusic.b-cdn.net/images/item/original/112/9780387244112.jpg?valeria-bertacco-2005-scalable-hardware-verification-with-symbolic-simulation-hardcover-book&class=scaled&v=1409609073)