Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs - BestMasters - Vladimir Herdt - Grāmatas - Springer - 9783658126797 - 2016. gada 29. marts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Vladimir Herdt
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs - BestMasters 1st ed. 2016 edition

Cena
€ 53,99

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

Paredzamā piegāde . gada 16. - 24. sept.
Saņemiet paziņojumus par jauniem Vladimir Herdt 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

In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.

162 pages, 26 black & white illustrations, 13 black & white tables, biography

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 2016. gada 29. marts
ISBN13 9783658126797
Izdevēji Springer
Lapas 162
Izmēri 148 × 210 × 11 mm   ·   244 g
Valoda Vācu  

Vairāk no Vladimir Herdt

Rādīt visu

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

Skatīt visus Vladimir Herdt