Gratisversand in ganz Deutschland!
Bookbot

Matthias Mutz Reihenfolge der Bücher

    GI-ITG-GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
    Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung