Guttag, John, <br/><br/>
Larch :  languages and tools for formal specification / 
John V. Guttag, James J. Horning ; with S. J. Garland ... [y otros.] 
 - xiii, 250 páginas :  ilustraciones 
 - Texts and monographs in computer science .
<br/><br/><label>ISBN: </label>0387940065 (New York : papel libre de acido) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Programación de computadoras<br/>Software para computadora--Desarrollo<br/>Larch (Lenguaje de programacion para computadora)
<br/><br/><label>LC Class. No.: </label>QA76.6  / G87