Bowman, Howard  <br/><br/>
Formal Methods for Distributed processing : A Survey of Object-Oriented Approaches 

 - Cambridge  Cambridge University Press  2001 
 - x, 480 p. ; 26 cm 
<br/><br/><label>ISBN: </label>521771846 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science
<br/><br/><label>Dewey Class. No.: </label>005.117  / BOW