zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Suchergebnis
Suche verändern
3 Treffer
Suchergebnis
zu den Filteroptionen
Suche nach:
Autor / Beteiligte = Aubert, Marcel und Sammlung = UB Paderborn
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
Conrad, Stefan
Als Ms. gedr., Düsseldorf : VDI-Verl., 1994
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
Integrated formal methods
11th international conference, IFM 2014, Bertinoro, Italy, September 9 - 11, 2014 ; proceedings
Albert, Elvira (Hrsg.) ; IFM <11., 2014, Bertinoro>
Cham [u.a.] : Springer, 2014