Larch: Languages and Tools for Formal Specification
By: by John V. Guttag, James J. Horning, S.J. Garland, K.D. Jones, A. Modet, J.M. Wing
Contributors: Horning, J. J. (James J.); Garland, S. J.; Jones, K. D.; Modet, A.; Wing, J. M.
Series: Texts and Monographs in Computer Science, 0172-603X; Texts and monographs in computer science
Publisher: Springer New York
Published: 1993
Place of publication: New York, NY
Language: eng
Format: [electronic resource] /
Number of pages: 250
ISBN-13: 9781461227045