Suchergebnisse - Pettorossi, Alberto 1947-

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2022
    Buch


    Gespeichert in:

Suchwerkzeuge: