Name: Scalable Hardware Verification with Symbolic Simulation
Price: 1142.95 DKK
Availability: InStock
Author: Valeria Bertacco
ISBN: 9781441937391

Scalable Hardware Verification with Symbolic Simulation af Valeria Bertacco

Du sparer 0% ift. normalprisen Spar 0%

Bag om Scalable Hardware Verification with Symbolic Simulation

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

Vis mere

Sprog:
Engelsk

ISBN:
9781441937391

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
180

Udgivet:
12. Februar 2010

Udgave:
12006

Størrelse:
234x156x10 mm.

Vægt:
314 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 17. Oktober 2024

Normalpris

1.142,95 kr. + Fragt
~~1.142,95 kr.~~

Medlemspris

1.092,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Valeria Bertacco

Vis alle bøger af Valeria Bertacco

Beskrivelse af Scalable Hardware Verification with Symbolic Simulation

This book is intended as an innovative overview of current formal verification methods, combined with an in-depth analysis of some advanced techniques to improve the scalability of these methods, and close the gap between design and verification in computer-aided design.

Brugerbedømmelser af Scalable Hardware Verification with Symbolic Simulation

Andre købte også..

Find lignende bøger

Bogen Scalable Hardware Verification with Symbolic Simulation findes i følgende kategorier:

Business og læring > Computer og IT

Scalable Hardware Verification with Symbolic Simulation - Valeria Bertacco - Bog

Bag om Valeria Bertacco

Beskrivelse af Scalable Hardware Verification with Symbolic Simulation

Brugerbedømmelser af Scalable Hardware Verification with Symbolic Simulation

Gør som tusindvis af andre bogelskere