005.117  / F766 <br/>
<br/>
       Formal methods for distributed processing : a survey of object-oriented approaches 
 / edited by Howard Bowman and John Derrick 
 .- Cambridge: Cambridge University Press,  2001 
 .- x, 480p. . 
<br><u>ISBN:</u> 0521771846 
<br/><u>Subject Headings:</u> <br/>Electronic Data Processing-Distributed Processing;<br/>Object-Oriented Programming (Computer Science);
<br/><U>Author Added Entry: </u><br/>Derrick, John, Ed.;
<br><U>Copy Details:</u><br> Acc. No.: <b>A141285</b>, Full Call No.: 005.117 F766,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>