Larch
Subtitle: languages and tools for formal specification
By: John V. Guttag, James J. Horning ; with S.J. Garland ... [et al.].
Contributors: Horning, J. J.
Series: Texts and monographs in computer science
Publisher: Springer-Verlag
Published: 1993
Place of publication: New York
Language: eng
Number of pages: 250
Subjects: Computer programming.; Computer software -- Development.; Larch (Computer program language)
Notes: Includes bibliographical references (p. [230]-238) and index.