Treffer 1 - 3 von 3 für Suche 'Boer, Frank S. de 1956-', Suchdauer: 0,59s Treffer weiter einschränken
  1. 1
    Verification of sequential and concurrent programs

    Verification of sequential and concurrent programs von Apt, Krzysztof R. 1949-, Boer, Frank S. de 1956-, Olderog, Ernst-Rüdiger 1955-

    Veröffentlicht 2009
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Asynchronous communication in process algebra (extended abstract)

    Asynchronous communication in process algebra (extended abstract) von Boer, Frank S. de 1956-

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    It's all about coordination essays to celebrate the lifelong scientific achievements of Farhad Arbab

    It's all about coordination essays to celebrate the lifelong scientific achievements of Farhad Arbab

    Veröffentlicht 2018
    Weitere Verfasser: “… Boer, Frank S. de 1956- …”
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: