Larch : languages and tools for formal specification
John V. Guttag, James J. Horning ; with S. J. Garland ... [et al.]
Bok Engelsk 1993
| Annen tittel | |
|---|---|
| Utgitt | New York : Springer-Verlag , c1993
|
| Omfang | xiii, 250 s.
|
| Emner | |
| Dewey | |
| ISBN | 0387940065. - 3540940065
|
