Myungchul Kim, Myungchul. <br/><br/>
Formal Techniques for Networked and Distributed Systems :  Forte 2001. 

 - 1st ed. 
 - 1 online resource (472 pages) 
 - IFIP Advances in Information and Communication Technology Series ;  v.69 .
 - IFIP Advances in Information and Communication Technology Series .
<br/><br/>Intro -- Contents. 
<br/><br/><label>ISBN: </label>9780306470035 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing -- Distributed processing -- Congresses.
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Electronic books.
<br/><br/><label>LC Class. No.: </label>TK5105.5-5105.9 
<br/><br/><label>Dewey Class. No.: </label>004.36