Formal Methods for Open Object-Based Distributed Systems

Formal Methods for Open Object-Based Distributed Systems
Details
- OL Work ID
- OL19808167W
Subjects
Logic designComputer networksComputer scienceSoftware engineeringOperating systems (Computers)Electronic data processingCongressesDistributed processingObject-oriented programming (Computer science)Electronic data processing, distributed processing