Formal Methods for Components and Objects Lecture Notes in Computer Sciencede Frank S. de BoerMateriasLogic designOperating systems (Computers)Software engineeringComputer scienceFormal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)SoftwareentwicklungKongress