Formal Methods for Open Object-Based Distributed Systems

Name: Formal Methods for Open Object-Based Distributed Systems
Author: Marcello M. Bonsangue, Einar Broch Johnsen

by Marcello M. Bonsangue, Einar Broch Johnsen

Cover of Formal Methods for Open Object-Based Distributed Systems

No description available.

Logic designComputer networksComputer scienceSoftware engineeringOperating systems (Computers)Electronic data processingCongressesDistributed processingObject-oriented programming (Computer science)Electronic data processing, distributed processing