Title: Formal Aspects of Component Software
Subjects: Software engineering, Logic design, Computer networks