Treffer 1 – 3 von 3 für Suche 'Holenderski, Leszek', 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
    An approach to mechanised verification of behaviours of concurrent systems

    An approach to mechanised verification of behaviours of concurrent systems von Holenderski, Leszek

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Translating LEA to synchronous components

    Translating LEA to synchronous components von Holenderski, Leszek

    Veröffentlicht 1997

    Volltext öffnen
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Boolean automata for implementing pure esterel

    Boolean automata for implementing pure esterel von Poigné, Axel, Holenderski, Leszek

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: