Formal methods for open object-based distributed systems / 
ed. by Elie Najm and Jean-Bernard Stefani 
 - vii, 411 páginas 
<br/><br/><label>ISBN: </label>0-412-79770-4 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación orientada a objetos (Computación)<br/>Procesamiento electrónico de datos--Multiproceso
<br/><br/><label>LC Class. No.: </label>QA76.64  / F67