Reihe Leitfäden und Monographien der InformatikHans Eveking × Verifikation digitaler SystemeEine Einführung in den Entwurf korrekter digitaler SystemeHans EvekingVieweg & TeubnereBook201336,99 € Verifikation digitaler SystemeEine Einführung in den Entwurf korrekter digitaler SystemeHans EvekingVieweg & TeubnerSoftcover199149,95 €
