Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme Leitfäden und Monographien der Informatik Autor Hans Eveking oct 1991 Paperback Preț: 472.92 lei 6-8 săpt.
