Valeria Bertacco - Böcker

Visar alla böcker från författaren Valeria Bertacco.
7 produkter
Valeria Bertacco - Scalable Hardware Verification with Symbolic Simulation, Inbunden

Scalable Hardware Verification with Symbolic Simulation

Av Valeria Bertacco

Inbunden, Engelska, 2005

1 409 kr

Skickas inom 7-10 vardagar
Kai-hui Chang, Igor L. Markov, Valeria Bertacco, Kai-Hui Chang, Igor L Markov - Functional Design Errors in Digital Circuits, Inbunden
Del 32 - Lecture Notes in Electrical Engineering

Functional Design Errors in Digital Circuits

Av Kai-hui Chang, Igor L. Markov, Valeria Bertacco, Kai-Hui Chang, Igor L Markov

Inbunden, Engelska, 2008

2 109 kr

Skickas inom 7-10 vardagar
Valeria Bertacco - Scalable Hardware Verification with Symbolic Simulation, Häftad

Scalable Hardware Verification with Symbolic Simulation

Av Valeria Bertacco

Häftad, Engelska, 2010

1 449 kr

Skickas inom 7-10 vardagar
Ilya Wagner, Valeria Bertacco - Post-Silicon and Runtime Verification for Modern Processors, Inbunden

Post-Silicon and Runtime Verification for Modern Processors

Av Ilya Wagner, Valeria Bertacco

Inbunden, Engelska, 2010

2 109 kr

Skickas inom 7-10 vardagar
Ilya Wagner, Valeria Bertacco - Post-Silicon and Runtime Verification for Modern Processors, Häftad

Post-Silicon and Runtime Verification for Modern Processors

Av Ilya Wagner, Valeria Bertacco

Häftad, Engelska, 2014

2 109 kr

Skickas inom 7-10 vardagar
Valeria Bertacco, Axel Legay - Hardware and Software: Verification and Testing, Häftad

Hardware and Software: Verification and Testing

Av Valeria Bertacco, Axel Legay

Häftad, Engelska, 2013

729 kr

Skickas inom 7-10 vardagar
Kai-hui Chang, Igor L. Markov, Valeria Bertacco, Kai-Hui Chang - Functional Design Errors in Digital Circuits, Häftad
Del 32 - Lecture Notes in Electrical Engineering

Functional Design Errors in Digital Circuits

Av Kai-hui Chang, Igor L. Markov, Valeria Bertacco, Kai-Hui Chang

Häftad, Engelska, 2010

2 039 kr

Skickas inom 5-8 vardagar