Treffer 1 – 2 von 2 für Suche 'Pettorossi, Alberto 1947-', Suchdauer: 0,04s 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
    Automata theory and formal languages Fundamental notions, theorems, and techniques

    Automata theory and formal languages Fundamental notions, theorems, and techniques von Pettorossi, Alberto 1947-

    Veröffentlicht 2022
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Complete modal theories for verifying communicating agents behaviour in recursive equations programs

    Complete modal theories for verifying communicating agents behaviour in recursive equations programs von Pettorossi, Alberto 1947-, Skowron, Andrzej 1943-

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: