Larch
Languages and Tools for Formal Specification (Texts and Monographs in Computer Science)
Edición de la obra Larch
| Autor | John V. Guttag, James J. Horning, S. J. Garland |
|---|---|
| Editorial | Springer |
| Fecha de publicación | April 1993 |
| Idioma | inglés |
| Páginas | 250 |
| ISBN-13 | 9780387940069 |
| ISBN-10 | 0387940065 |
| Número de Cutter | G985l |
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.