Larch
Languages and Tools for Formal Specification
Edición de la obra Larch
| Autor | John Guttag |
|---|---|
| Editorial | Springer |
| Fecha de publicación | January 1993 |
| Lugar | New York City, New York, USA |
| Idioma | inglés |
| Páginas | 250 |
| Formato | Hardcover |
| ISBN-13 | 9783540940067 |
| ISBN-10 | 3540940065 |
| Número de Cutter | G985l |
Describes Larch, a formal system based on operational and algebraic techniques for specifying programs.