Title: Formal Aspects of Component Software
            
                Lecture Notes in Computer Science  Programming and Software
Subjects: Computer software, Computer science, Computer networks, Software engineering, Logic design, System design