Formal Methods for Components and Objects
Lecture Notes in Computer Science
Formal Methods for Components and Objects Lecture Notes in Computer Science
Details
- OL Work ID
- OL17550059W
Subjects
Logic designOperating systems (Computers)Software engineeringComputer scienceFormal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)SoftwareentwicklungKongressFormale MethodeObjektorientierungKomponente <Software>Komponente (Software)System designComputer softwareObject-oriented programming (computer science)