大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Bertacco 的图书(共3本)

Post-Silicon and Runtime Verification for Modern Processors [electronic resource]

0
索取号：
作者：Wagner、 Ilya.、Bertacco、 Valeria.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2011.

Functional Design Errors in Digital Circuits [electronic resource] : Diagnosis, Correction and Repair

0
索取号：
作者：Chang、 Kai-hui.、Markov、 Igor L.、Bertacco、 Valeria.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2009.

Scalable Hardware Verification with Symbolic Simulation [electronic resource]

0
索取号：
作者：Bertacco、 Valeria.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.