Suchergebnisse - Guldstrand Larsen, Kim

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

    Reactive systems: modelling, specification and verification
    von Aceto, Luca, Anna Ingólfsdóttir 1952-, Guldstrand Larsen, Kim, Srba, Jiří

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: