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
Formal metods for open object based distributed systems - - Chapman & Hall 1997 - 470
0-412-82040-4
004.72