Verifikation digitaler Systeme : eine Einführung in den Entwurf korrekter digitaler Systeme

Verifikation digitaler Systeme : eine Einführung in den Entwurf korrekter digitaler Systeme
von Eveking, Hans
Stuttgart : Teubner
9783519022497
Jahr: 1991
XII, 308 Seiten : graph. Darst.
Broschiert
Bestellnummer: 2124163

Beschreibung
Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich neben dem Rückenschild lediglich ein Bibliotheksstempel im Buch - ordnungsgemäß entwidmet.