- 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
High-Level Verification
Methods and Tools for Verification of System-Level Designs
Sudipta Kundu, Sorin Lerner, Rajesh K Gupta
Hardcover | Engels
€ 153,95
+ 307 punten
Uitvoering
Omschrijving
Introduction.- Related Work.- Background.- Execution-based Model Checking for High-Level Designs.- Efficient Symbolic Analysis for Concurrent Programs.- Translation Validation of High-Level Synthesis.- Parameterized Program Equivalence Checking.- Conclusions and Future Work.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 167
- Taal:
- Engels
Eigenschappen
- Productcode (EAN):
- 9781441993588
- Verschijningsdatum:
- 30/05/2011
- Uitvoering:
- Hardcover
- Formaat:
- Genaaid
- Afmetingen:
- 236 mm x 155 mm
- Gewicht:
- 430 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.