Paul, M, Ed. <br/><br/>
Distributed systems  methods and tools for specification on advanced course 

 - Berlin  Springer  1995 
 - vi, 573p.  
 - Lecture notes in computer science .
<br/><br/> Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>3540152164 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Distributed systems