Formal program development

: IFIP TC 2/WG 2.1 state of the art report / IFIP. Bernhard Möller ... (ed.). - Berlin : Springer, 1993. - 371 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 755)

ISBN 978-3-540-57499-6 / 3-540-57499-9 kart. : DM 72.00

Literaturangaben

Quelle: DNB

Mathematics of program construction

: third international conference ; proceedings / MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Bernhard Möller (ed.). - Berlin : Springer, 1995. - VIII, 472 S. : graph. Darst.; 24 cm - (Mathematics of program construction; 3.1995)

ISBN 978-3-540-60117-3 / 3-540-60117-1 kart. : DM 94.00

Literaturangaben

Quelle: DNB

Prospects for hardware foundations

: survey chapters / ESPRIT Working Group 8533 NADA - New Hardware Design Methods. Bernhard Möller ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 1546)

ISBN 978-3-540-49254-2

Lizenzpflichtig

Quelle: DNB

Thüringer Pfarrerbuch

/ herausgegeben von der Gesellschaft für Thüringische Kirchengeschichte. - Neustadt an der Aisch : Degener, 1995. - 784 S. - (Schriftenreihe der Stiftung Stoye; Bd. 26)

ISBN 978-3-7686-4143-2 / 3-7686-4143-0 Pp. : DM 98.00

Quelle: DNB

Thüringer Pfarrerbuch

/ herausgegeben von der Gesellschaft für Thüringische Kirchengeschichte. - Neustadt an der Aisch : Degener, 2000. - 527 S. - (Schriftenreihe der Stiftung Stoye; Bd. 35)

ISBN 978-3-7686-4205-7 / 3-7686-4205-4 Pp. : DM 88.00

Literaturverz. S. 10 - 12

Quelle: DNB

Thüringer Pfarrerbuch

/ herausgegeben von der Gesellschaft für Thüringische Kirchengeschichte. - Neustadt an der Aisch : Degener, 1997. - 460 S. : Kt. - (Schriftenreihe der Stiftung Stoye; Bd. 29)

ISBN 978-3-7686-4148-7 / 3-7686-4148-1 Pp. : DM 68.00

Quelle: DNB