Informatik. Eine grundlegende Einfuhrung

By Manfred Broy

Mathematical Methods in Program Development

By Manfred Broy

Modern information processing systems show such complex properties as distribution, parallelism, interaction, time dependency, and nondeterminism. For critical applications, mathematical methods ar...

Ubungen zur Einfuhrung in die Informatik

By Bernhard Rumpe, Manfred Broy

Model Based Engineering of Embedded Systems

By Manfred Broy, Reinhold Achatz, Klaus Pohl, Harald Honninger

Control Flow and Data Flow Concepts of Distributed Programming

By Manfred Broy

Logic of Programming and Calculi of Discrete Design

By Manfred Broy

This volume contains the proceedings of the NATO-sponsored Advanced Research Study Institute on Logic of Programming and Calculi of Discrete Design, held in continuation of the series of well-known...

Programming and Mathematical Method

By Manfred Broy

The construction of a software system is a task that has to be structured toensure that the software product fulfills all expectations and the process of producing it remains manageable and reliabl...

Programming and Mathematical Method

By Manfred Broy, F.L. Bauer

Programming and Mathematical Method

By Manfred Broy

The construction of a software system is a task that has to be structured toensure that the software product fulfills all expectations and the process of producing it remains manageable and reliabl...

Constructive Methods in Computing Science

By Manfred Broy

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf...