Larch
Languages and Tools for Formal Specification
Edición de la obra Larch
| Autor | S. J. Garland, K. D. Jones, A. Modet |
|---|---|
| Editorial | Island Press |
| Fecha de publicación | 1993 |
| Idioma | inglés |
| ISBN-13 | 9781461227052 |
| Número de Cutter | G233l |
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.