Automotive software connected services in mobile networks
: revised selected papers / First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10 - 12, 2004. Manfred Broy ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4147)
ISBN 978-3-540-37678-1
Lizenzpflichtig
Quelle: DNB
Deductive program design ; [proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26 - August 7, 1994]
/ ed. by Manfred Broy. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1996. - VIII, 467 S. : Ill., graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 152)
ISBN 978-3-540-60947-6 / 3-540-60947-4 Pp. : DM 178.00
Literaturangaben
Quelle: DNB
Formal systems specification
: the RPC-memory specification case study / Manfred Broy ... (ed.). - Berlin : Springer, 1996. - XXIII, 540 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1169)
ISBN 978-3-540-61984-0 / 3-540-61984-4 kart. : DM 110.00
Literaturangaben
Quelle: DNB
Broy, Manfred: Informatik
/ Manfred Broy. - 2., überarb. Aufl. - Berlin : Springer, 1998. - XI, 404 S : graph. Darst.
ISBN 978-3-540-64392-0 / 3-540-64392-3 kart. : DM 59.00, sfr 54.00, S 431.00
Quelle: DNB
Broy, Manfred: Informatik
/ Manfred Broy. - Berlin : Springer, 1995. - IX, 215 S. : graph. Darst.
ISBN 978-3-540-58602-9 / 3-540-58602-4 kart. : DM 44.00
Quelle: DNB
Broy, Manfred: Informatik
/ Manfred Broy. - Berlin : Springer, 1994. - VIII, 187 S. : graph. Darst.
ISBN 978-3-540-57672-3 / 3-540-57672-X kart. : DM 44.00, sfr 44.00, S 343.20
Quelle: DNB
Broy, Manfred: Informatik
/ Manfred Broy. - Berlin : Springer, 1993. - VIII, 195 S : graph. Darst.
ISBN 978-3-540-56969-5 / 3-540-56969-3 kart. : DM 44.00, sfr 48.50, S 343.20
Quelle: DNB
Broy, Manfred: Informatik
/ Manfred Broy. - Berlin : Springer, 1992. - XII, 250 S : graph. Darst.
ISBN 978-3-540-55191-1 / 3-540-55191-3 kart. : DM 48.00
Quelle: DNB
Informatik und Mathematik
: [Professor Dr. Dr. h.c. mult. Friedrich L. Bauer zum 65. Geburtstag] / Manfred Broy (Hrsg.). - Berlin : Springer, 1991. - XIV, 450 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-54108-0 / 3-540-54108-X Pp. : DM 148.00
Quelle: DNB
KORSO: methods, languages, and tools for the construction of correct software
: final report / Manfred Broy ; Stefan Jähnichen (ed.). - Berlin : Springer, 1995. - X, 449 S. : Ill., graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1009)
ISBN 978-3-540-60589-8 / 3-540-60589-4 kart. : DM 94.00
Literaturangaben
Quelle: DNB
