Title: Formal Methods for Components and Objects
            
                Lecture Notes in Computer Science
Subjects: Logic design, Operating systems (Computers), Software engineering, Computer science, Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Softwareentwicklung, Kongress, Formale Methode, Objektorientierung, Komponente <Software>, Komponente (Software), System design, Computer software, Object-oriented programming (computer science)