Hoppa till sidans huvudinnehåll

Valeria Bertacco - Böcker

Visar alla böcker från författaren Valeria Bertacco.
7 produkter

Scalable Hardware Verification with Symbolic Simulation

AvValeria Bertacco

Inbunden, Engelska, 2005

1 389 kr

Skickas inom 10-15 vardagar

Functional Design Errors in Digital Circuits

Diagnosis Correction and Repair

AvKai-hui Chang,Igor L. Markov m. fl.

Inbunden, Engelska, 2008

2 029 kr

Skickas inom 10-15 vardagar

Scalable Hardware Verification with Symbolic Simulation

AvValeria Bertacco

Häftad, Engelska, 2010

1 429 kr

Skickas inom 10-15 vardagar

Post-Silicon and Runtime Verification for Modern Processors

AvIlya Wagner,Valeria Bertacco

Inbunden, Engelska, 2010

2 029 kr

Skickas inom 10-15 vardagar

Post-Silicon and Runtime Verification for Modern Processors

AvIlya Wagner,Valeria Bertacco

Häftad, Engelska, 2014

2 029 kr

Skickas inom 10-15 vardagar

Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

AvValeria Bertacco,Axel Legay

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar

Del 32 - Lecture Notes in Electrical Engineering

Functional Design Errors in Digital Circuits

Diagnosis Correction and Repair

AvKai-hui Chang,Igor L. Markov m. fl.

Häftad, Engelska, 2010

1 959 kr

Skickas inom 5-8 vardagar