Using formal description techniques :  An introduction to estelle, lotos, and sdl / 
Ed. by Kenneth j. Turner 
 - 431 páginas 
 - Wiley series in communication and distributed systems .
<br/><br/><label>ISBN: </label>0471934550 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación de computadoras<br/>Lenguajes formales
<br/><br/><label>LC Class. No.: </label>QA76.6  / U848