
Larch: Languages and Tools for Formal Specification
di S.J. Garland, K.D. Jones, A. Modet, J.M. Wing, John V. Guttag, James J. Horning (Autori)
|
Dettagli
Edizione: | 1 |
---|---|
Categoria: | Computer Science |
Volumi: | 0 |
Pagine: | 0 |
Collana: | - |
Data Pubblicazione: | -1993 |
Lingua: | Eng |
ISBN: | 9781461276364 |