Filters
Advanced Search Browse by Genre

Found 418 results for "M. Broy"

Programming and mathematical method
Programming and mathematical method

by M. Broy

1992 2 ed.
Computer programming Programming (Mathematics)
Control Flow and Data Flow
Control Flow and Data Flow

by M. Broy

1985 1 ed.
Electronic data processin... Distributed processing Computer programming
Control Flow and Data Flow: Concepts of Distributed Programming
Control Flow and Data Flow: Concepts of Distributed Programm...

by M. Broy

1986 1 ed.
Informatik und Mathematik
Informatik und Mathematik

by M. Broy

1991 1 ed.
Electronic data processin... Mathematics
Mathematical methods in program development
Mathematical methods in program development

by M. Broy

1997 1 ed.
Development Mathematical methods Computer programming
Transformation parallel ablaufender Programme
Transformation parallel ablaufender Programme

by M. Broy

1980 1 ed.
Deductive program design
Deductive program design

by M. Broy

1996 1 ed.
Electronic data processin... Distributed processing Congresses
Model-based testing of reactive systems
Model-based testing of reactive systems

by M. Broy

Contemporary theories of learning stress that learning requires the development of active experiences in authentic conte...

2005 1 ed.
Testing Information technology Computer software
Program design calculi
Program design calculi

by M. Broy

1993 1 ed.
Congresses System design Computer engineering
Informatik Eine Grundlegende Einfuhrung Teil 3
Informatik Eine Grundlegende Einfuhrung Teil 3

by M. Broy

1994 1 ed.
Programming Concepts and Methods
Programming Concepts and Methods

by M. Broy

1990 1 ed.
Shi ji
Shi ji

by Sima Qian, Burton Watson

The forbears of the Qin were descendants of Emperor Zhuan Xu.

1550 151 ed.
History Biography Sources
Methods of programming
Methods of programming

by M. Broy, M. Wirsing

1991 3 ed.
Computer programming Programmation (Informatiq... Congrès
Künstliche Intelligenz
Künstliche Intelligenz

by Bernhard Irrgang, M. Broy

1990 1 ed.
Artificial intelligence
Software pioneers
Software pioneers

by M. Broy, Ernst Denert

2002 2 ed.
Electronic data processin... Computers Biography
Formal methods in programming and their applications
Formal methods in programming and their applications

by D. Bjørner, M. Broy

1993 3 ed.
Formal methods (Computer ... Computer programming Mathematical Logic and Fo...
Theoretical Foundations of Programming Methodology
Theoretical Foundations of Programming Methodology

by M. Broy, Günther Schmidt

1982 2 ed.
Calculational system design
Calculational system design

by M. Broy, Ralf Steinbrüggen

1 ed.
Congresses Computer science System design
Formal systems specification
Formal systems specification

by M. Broy, Stephan Merz

The problem calls for the specification and verification of a series of components.

1996 2 ed.
Memory management (Comput... Electronic data processin... Distributed processing
KORSO
KORSO

by M. Broy, Stefan Jähnichen

The reliability of a software system is a critical factor in determining its quality.

1995 2 ed.
Development Computer software Computer software, develo...