The following pages link to Manfred Broy (Q213032):
Displaying 50 items.
- (Q3662598) (← links)
- (Q3666242) (← links)
- (Q3667932) (← links)
- (Q3670524) (← links)
- (Q3672054) (← links)
- (Q3677156) (← links)
- (Q3681910) (← links)
- (Q3683524) (← links)
- Semantics of communicating processes (Q3719813) (← links)
- (Q3750112) (← links)
- On the algebraic definition of programming languages (Q3763565) (← links)
- Broadcasting buffering communication (Q3773317) (← links)
- (Q3814786) (← links)
- (Q3871894) (← links)
- (Q3875322) (← links)
- (Q3883462) (← links)
- (Q3886833) (← links)
- Program Development as a Formal Activity (Q3893266) (← links)
- (Q3911357) (← links)
- (Q3912001) (← links)
- (Q3912057) (← links)
- Derivation of Invariant Assertions During Program Development by Transformation (Q3922137) (← links)
- (Q3939217) (← links)
- Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm (Q3942388) (← links)
- (Q3954806) (← links)
- (Q4018067) (← links)
- (Q4184269) (← links)
- (Q4184294) (← links)
- (Q4190110) (← links)
- (Q4192046) (← links)
- (Q4194409) (← links)
- Compositional refinement of interactive systems (Q4208877) (← links)
- Informatik Eine grundlegende Einführung (Q4220562) (← links)
- Adapting Calculational Logic to the Undefined (Q4269811) (← links)
- (Q4282670) (← links)
- (Q4344502) (← links)
- (Q4364532) (← links)
- Übungen zur Einführung in die Informatik (Q4368747) (← links)
- Modellbildung in der Informatik (Q4449113) (← links)
- (Q4470494) (← links)
- (Q4473706) (← links)
- (Q4702603) (← links)
- (Q4711833) (← links)
- (Q4718231) (← links)
- (Q4727396) (← links)
- (Q4743723) (← links)
- (Q4746772) (← links)
- (Q4746778) (← links)
- (Q4858905) (← links)
- (Q4885876) (← links)
