/LC.GIF&client=easterncarolinaedu)
Larch : languages and tools for formal specification / John V. Guttag, James J. Horning ; with S.J. Garland [and others].
| Author/creator | Guttag, John V., 1949- |
| Other author | Horning, J. J. (James J.) |
| Format | Book |
| Publication Info | New York : Springer-Verlag, ©1993. |
| Description | xiii, 250 pages ; 25 cm. |
| Subjects |
| Series | Texts and monographs in computer science Texts and monographs in computer science. ^A223444 |
| Bibliography note | Includes bibliographical references (p. [230]-238) and index. |
| LCCN | 92044571 |
| ISBN | 0387940065 (New York : acid-free paper) |
| ISBN | 3540940065 (Berlin : acid-free paper) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.6 .H66 1993 | ✔ Available | Place Hold |