This book presents a mathematical and logical approach to program and
software development suitable for large, distributed systems. The
emphasis is on modular system development, and systems engineering, and
it explains how software systems can be developed in a systematic way
based on mathematical and scientific principles and using well defined
interfaces. An essential resource for all researchers and professionals
in computer science, software systems engineering and computer
engineering.