Monographs in Computer Science Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement Manfred Broy | Ketil Stølen Computers / Computer Science This book presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular ...