Pierre Wolper

Pierre Wolper (* 1955) ist ein belgischer Informatiker und seit 2018 Rektor der Universität Lüttich. Veröffentlicht in Wikipedia
Treffer 1 – 2 von 2 für Suche 'Wolper, Pierre', Suchdauer: 0,01s 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
    Synthesis of communicating processes from temporal logic specifications

    Synthesis of communicating processes from temporal logic specifications von Wolper, Pierre L.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Workshop on trustworthy software May 18-19, 2006, Saarbrücken, Germany

    Workshop on trustworthy software May 18-19, 2006, Saarbrücken, Germany

    Veröffentlicht 2006
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: