- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
€ 153,95
+ 307 punten
Uitvoering
Omschrijving
This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 179
- Taal:
- Engels
- Reeks:
Eigenschappen
- Productcode (EAN):
- 9780387341552
- Verschijningsdatum:
- 20/07/2006
- Uitvoering:
- Hardcover
- Formaat:
- Genaaid
- Afmetingen:
- 155 mm x 243 mm
- Gewicht:
- 467 g
Alleen bij Standaard Boekhandel
+ 307 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.