Mathematical methods in program development
: [proceedings of the NATO Advanced Study Institute on Mathematical Methods in Program Development, held in Marktoberdorf, Germany, July 30 - August 11, 1996] / ed. by Manfred Broy ; Birgit Schieder. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1997. - VIII, 528 S. : Ill., graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 158)
ISBN 978-3-540-63195-8 / 3-540-63195-X Pp. : DM 188.00
Literaturangaben
Quelle: DNB
Methods of programming
: selected papers on the CIP project / M. Broy ; M. Wirsing (ed.). - Berlin : Springer, 1991. - 268 S.; 24 cm - (Lecture notes in computer science; 544)
ISBN 978-3-540-54576-7 / 3-540-54576-X kart. : DM 44.50
Literaturangaben
Quelle: DNB
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - VIII, 659 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3472 : Tutorial)
ISBN 978-3-540-26278-7 / 3-540-26278-4 kart. : EUR 73.83 (freier Pr.), sfr 122.00 (freier Pr.)
Literaturverz. S. 617 - 651
Quelle: DNB Verlagsmeldungen
Model based testing of reactive systems
: advanced lectures / Manfred Broy ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3472)
ISBN 978-3-540-32037-1
Lizenzpflichtig
Quelle: DNB
Model driven development of reliable automotive services
: revised selected papers / Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15 - 17, 2006 / Manfred Broy ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4922)
ISBN 978-3-540-70930-5
Lizenzpflichtig
Quelle: DNB
Perspectives of system informatics
: revised papers / 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9 - 12, 2003. Manfred Broy ... (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2890)
ISBN 978-3-540-39866-0
Lizenzpflichtig
Quelle: DNB
Program design calculi
: [proceeedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992] / ed. by Manfred Broy. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1993. - VIII, 409 S. : Ill., graph. Darst.; 24 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 118)
ISBN 978-3-540-56943-5 / 3-540-56943-X Pp. : DM 148.00
Literaturangaben
Quelle: DNB
Programming and mathematical method
: [proceedings of the NATO Advanced Study Institute on Programming and Mathematical Method, held at Marktoberdorf, FRG, July 24 - August 5, 1990] / ed. by Manfred Broy. Publ. in cooperation with NATO Scientific Affairs Division. - Berlin : Springer, 1992. - VIII, 407 S. : graph. Darst.; 25 cm - (NATO ASI series : Series F, Computer and systems sciences; Vol. 88)
ISBN 978-3-540-55558-2 / 3-540-55558-7 Pp. : DM 148.00
Literaturangaben
Quelle: DNB
Broy, Manfred: Übungen zur Einführung in die Informatik
: strukturierte Aufgabensammlung mit Musterlösungen ; mit 30 Tabellen und CD-ROM / Manfred Broy ; Bernhard Rumpe. - 2., überarb. Aufl. - Berlin : Springer, 2002. - XI, 376 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-42065-1 / 3-540-42065-7 kart.
Quelle: DNB
