Siefkes, Dirk: Formale Methoden und kleine Systeme
: lernen, leben und arbeiten in formalen Umgebungen / Dirk Siefkes. - Braunschweig : Vieweg, 1992. - 190 S.; 23 cm - (Theorie der Informatik)
ISBN 978-3-528-05199-0 / 3-528-05199-X kart. : DM 54.00
Literaturverz. S. 173 - 188
Quelle: DNB
Siefkes, Dirk: Formalisieren und beweisen
: Logik für Informatiker / Dirk Siefkes. - Braunschweig : Vieweg, 1990. - XIII, 259 S.; 23 cm
ISBN 978-3-528-04757-3 / 3-528-04757-7 kart. : DM 39.80
Literaturverz. S. 245 - 252
Quelle: DNB
Siefkes, Dirk: Formalisieren und beweisen
: Logik für Informatiker / Dirk Siefkes. - 2., verb. Aufl. - Braunschweig : Vieweg, 1992. - XIII, 259 S. : graph. Darst.; 23 cm
ISBN 978-3-528-14757-0 / 3-528-14757-1 kart. : DM 39.80
Literaturverz. S. 245 - 253
Quelle: DNB
Pioniere der Informatik
: ihre Lebensgeschichte im Interview / D. Siefkes ... (Hrsg.). Interviews mit F. L. Bauer ... Geleitw. von Wilfried Brauer. - Berlin : Springer, 1999. - XIII, 143 S. : Ill.; 25 cm
ISBN 978-3-540-64857-4 / 3-540-64857-7 Pp. : DM 39.90, sfr 37.00, S 292.00, ffr 151.00, L 15.50, lire 44060.00, $ 21.60
Quelle: DNB
