Library Services | Technical University of Kenya catalog › Results of search for 'au:"Bertacco, Valeria."'

Your search returned 5 results.

	1.	Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco. by Bertacco, Valeria \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available Add to cart (remove)
	2.	Functional Design Errors in Digital Circuits [electronic resource] : Diagnosis, Correction and Repair / by Kai-hui Chang, Igor L. Markov, Valeria Bertacco. by Chang, Kai-hui \| Markov, Igor L \| Bertacco, Valeria \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Dordrecht : Springer Netherlands, 2009Online access: Click here to access online Availability: No items available Add to cart (remove)
	3.	Post-Silicon and Runtime Verification for Modern Processors [electronic resource] / by Ilya Wagner, Valeria Bertacco. by Wagner, Ilya \| Bertacco, Valeria \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)
	4.	Hardware and Software: Verification and Testing [electronic resource] : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / edited by Valeria Bertacco, Axel Legay. by Bertacco, Valeria [editor.] \| Legay, Axel [editor.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available Add to cart (remove)
	5.	Post-Silicon and Runtime Verification for Modern Processors [electronic resource] / by Ilya Wagner, Valeria Bertacco. by Wagner, Ilya [author.] \| Bertacco, Valeria [author.] \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format: electronic available online ; Literary form: Not fiction Publisher: Boston, MA : Springer US, 2011Online access: Click here to access online Availability: No items available Add to cart (remove)

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue