Suchergebnis

zu den Filteroptionen
Suche nach: Körperschaft = ICFEM <17., 2015, Paris> und Sammlung = ULB Düsseldorf
  • Titelblatt
    Formal methods and software engineering
    17th international conference on formal engineering methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings
    Butler, Michael (Hrsg.) ; Conchon, Sylvain (Hrsg.) ; Zaidi, Fatiha (Hrsg.) ; ICFEM <17., 2015, Paris>
    Cham : Springer, 2015