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

Av Valeria Bertacco

Inbunden, Engelska, 2005

1 419 kr

Skickas inom 10-15 vardagar
Del 32 - Lecture Notes in Electrical Engineering

Functional Design Errors in Digital Circuits

Diagnosis Correction and Repair

Av Kai-hui Chang, Igor L. Markov m. fl

Inbunden, Engelska, 2008

2 109 kr

Skickas inom 10-15 vardagar

Scalable Hardware Verification with Symbolic Simulation

Av Valeria Bertacco

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar

Post-Silicon and Runtime Verification for Modern Processors

Av Ilya Wagner, Valeria Bertacco

Inbunden, Engelska, 2010

2 109 kr

Skickas inom 10-15 vardagar

Post-Silicon and Runtime Verification for Modern Processors

Av Ilya Wagner, Valeria Bertacco

Häftad, Engelska, 2014

2 109 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

Av Valeria Bertacco, Axel Legay

Häftad, Engelska, 2013

739 kr

Skickas inom 10-15 vardagar
Del 32 - Lecture Notes in Electrical Engineering

Functional Design Errors in Digital Circuits

Diagnosis Correction and Repair

Av Kai-hui Chang, Igor L. Markov m. fl

Häftad, Engelska, 2010

1 999 kr

Skickas inom 5-8 vardagar