Treffer 1 – 6 von 6 für Suche 'Hooman, Jozef J. M.', Suchdauer: 0,03s 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
    A compositional axiomatization of statecharts

    A compositional axiomatization of statecharts von Hooman, Jozef J. M., Ramesh, S., Roever, Willem-Paul de 1943-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    An introduction to compositional methods for concurrency and their application to real time

    An introduction to compositional methods for concurrency and their application to real time von Hooman, Jozef J. M., Roever, Willem-Paul de 1943-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Verification and specification of concurrent programs

    Verification and specification of concurrent programs von Hooman, Jozef J. M., Roever, Willem-Paul de 1943-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Specification and compositional verification of real-time systems

    Specification and compositional verification of real-time systems von Hooman, Jozef J. M.

    Veröffentlicht 1991
    Volltext öffnen
    Abschlussarbeit Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Specification and compositional verification of real-time systems

    Specification and compositional verification of real-time systems von Hooman, Jozef J. M.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Specification and compositional verification of real-time systems

    Specification and compositional verification of real-time systems von Hooman, Jozef J. M.

    Veröffentlicht 1991
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: