Search Results       Your search for [subject]Electronic data processing -- Distributed processing -- Congress returned 1 record.           Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers. Berlin: Springer, 1995. Subject: System design -- Congresses; Computer software -- Development -- Congresses; Electronic data processing -- Distributed processing -- Congress.          Add to Book Cart Relevance: 34.33%