Home / Books / Manfred Broy

Manfred Broy

Control Flow and Data Flow: Concepts of Distributed Programming (Nato Asi Series, Vol 14)
Control Flow and Data Flow: Concepts of Distributed Programming (Nato Asi Series, Vol 14)
1986
 Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science, 1169)
Formal Systems Specification: The RPC-Memory Specification Case Study (Lecture Notes in Computer Science, 1169)
1996