Formal Methods for Components and Objects Lecture Notes in Computer Science
No description available.
Logic designOperating systems (Computers)Software engineeringComputer scienceFormal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)SoftwareentwicklungKongressFormale MethodeObjektorientierung