Treffer 1 – 3 von 3 für Suche 'Clarke, E. M.', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    The characterization problem for hoare logic

    The characterization problem for hoare logic von Clarke, E. M.

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Model checking

    Model checking von Clarke, E. M.

    Veröffentlicht 1999
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A language for compositional specification and verification of finite state hardware controllers

    A language for compositional specification and verification of finite state hardware controllers von Clarke, E. M., Long, D. E., MacMillan, K. L.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: