Skip to contents

  4. Ruf, Jürgen [Editor] ; Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme, Fachgruppe Beschreibungssprachen und Modellierung von Schaltungen und Systemen, Workshop Modellierung und Verifikation 2002 Tübingen

    Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Aachen: Shaker, 2002

    Published in: Berichte aus der Informatik

  6. Black, David C. [Other]; Donovan, Jack [Other]; Bunton, Bill [Other]; Keist, Anna [Other]

    SystemC : from the ground up - [2. ed.]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    New York; Heidelberg [u.a.]: Springer, c2010

  7. Knuth, Donald Ervin [Author]

    The Metafontbook - [7. print., rev.]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Reading, Mass. [u.a.]: Addison-Wesley, 1992

    Published in: Computers & typesetting ; C

  9. Brandt, Jens [Editor] ; Technische Universität Kaiserslautern, Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 15 2012 Kaiserslautern

    Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : MBMV 2012 ; [15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen ... im März 2012 an der Technischen Universität Kaiserslautern]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hamburg: Kovač, 2012

    Published in: Schriftenreihe Forschungsergebnisse zur Informatik ; 6800