Formal metods for open object based distributed systems

Howard Bowman , John derrick

Formal metods for open object based distributed systems - - Chapman & Hall 1997 - 470



0-412-82040-4

004.72

University Library
Cochin University of Science and Technology
Kochi-682 022, Kerala, India