Verifikation digitaler Systeme
Eine Einführung in den Entwurf korrekter digitaler Systeme
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Hans Eveking
Themen in »Verifikation digitaler Systeme«
Arbeit Entwicklung Entwurf Modellierung Semantik Stabilität Systeme Transitionsrelation VLSI Verfahren Verifikation Werkstoff Werkzeug formale Sprache formale Sprachen
Stimmen zu »Verifikation digitaler Systeme«
Details
ISBN: 9783322946843
Verlag: Vieweg & Teubner
Erscheinung: 17.04.2013