Produktinfo
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.

