Larch
languages and tools for formal specification
Edición de la obra Larch
| Autor | John Guttag |
|---|---|
| Editorial | Springer-Verlag |
| Fecha de publicación | 1993 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 250 |
| ISBN-10 | 0387940065, 3540940065 |
| OCLC | 27223609 |
| LCCN | 92044571 |
| Serie | Texts and monographs in computer science |
| Número de Cutter | G985l |
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.