Hardware and Software: Verification and Testing

49.22 EUR

Ein Fachbuch aus der achten Haifa-Verifikationskonferenz 2012, das neue Ansätze zur formalen Prüfung, Modellierungstests und Fehlerprävention in modernen Hardwaredesigns beleuchtet.

Marke: Armin Biere
MPN: 75 black & white illustrations
ISBN: 9783642396106