Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Grāmatas - Springer-Verlag New York Inc. - 9780387341552 - 2006. gada 20. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

Cena
€ 120,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 28. jūl. - . gada 11. aug.
Saņemiet paziņojumus par jauniem Chao Wang izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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.

179 pages, biography

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2006. gada 20. jūlijs
ISBN13 9780387341552
Izdevēji Springer-Verlag New York Inc.
Lapas 179
Izmēri 155 × 235 × 12 mm   ·   467 g
Valoda Angļu  

Vairāk no Chao Wang

Rādīt visu

Vairāk no tā paša izdevēja

Skatīt visus Chao Wang ( piem., Hardcover Book , Paperback Book un Book )