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

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:
9780387244112

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Hardback

Sideantal:
180

Udgivet:
21. December 2005

Udgave:
2006

Størrelse:
234x156x12 mm.

Vægt:
460 g.

Leveringstid: 2-3 uger.
Forventet levering: 23. Oktober 2024

Normalpris

1.221,95 kr. + Fragt
~~1.221,95 kr.~~

Medlemspris

1.171,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

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