Vista normal Vista MARC Vista ISBD

Guttag, John,

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 .

ISBN: 0387940065 (New York : papel libre de acido)

Subjects--Topical Terms:
Programación de computadoras
Software para computadora--Desarrollo
Larch (Lenguaje de programacion para computadora)

LC Class. No.: QA76.6 / G87