BOWMAN,H <br/><br/>
FORMAL METHODS FOR DISTRIBUTED PROCESSING:SURVEY OF OBJECT ORIENTED APPROACHES 

 - NEW YORK  Cambridge University Press  2001 
 - x+26X18Cms. 
<br/><br/><label>ISBN: </label>0521771846 
<br/><br/><label>Dewey Class. No.: </label>621.3819642 B787