Alle 3 Valeria Bertacco utgivelser på Pocketbok og I...n bok
Kategorier
Annen
Kundeservice
NOK
På lager hos iMusic
Vis utilgjengelige utgivelser
![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 (Pocketbok) [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-pocketbok&class=scaled&v=1615225687)
![Cover for Valeria Bertacco · Scalable Hardware Verification with Symbolic Simulation (Pocketbok) [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-pocketbok&class=scaled&v=1431246106)
![Cover for Valeria Bertacco · Scalable Hardware Verification with Symbolic Simulation (Innbunden bok) [2006 edition] (2005)](https://imusic.b-cdn.net/images/item/original/112/9780387244112.jpg?valeria-bertacco-2005-scalable-hardware-verification-with-symbolic-simulation-innbunden-bok&class=scaled&v=1409609073)