zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Suchergebnis
Suche verändern
Suchergebnis
zu den Filteroptionen
Suche nach:
Autor / Beteiligte = Heitmeyer, Constance und Sammlung = ULB Düsseldorf
FM 2016: Formal methods
21st international symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings
Fitzgerald, John (Hrsg.) ; Heitmeyer, Constance (Hrsg.) ; Gnesi, Stefania (Hrsg.) ; Philippou, Anna (Hrsg.) ; FM <21., 2016, Limassol>
Cham : Springer, 2016