Larch: Languages and Tools for Formal Specification
Edición de la obra Larch: Languages and Tools for Formal Specification
| Autor | John V. Guttag |
|---|---|
| Editorial | Springer New York |
| Fecha de publicación | 1993 |
| Lugar | New York, NY |
| Idioma | inglés |
| Páginas | 250 |
| Formato | [electronic resource] / |
| ISBN-13 | 9781461227045 |
| ISBN-10 | 1461227046 |
| OCLC | 840278531 |
| Serie | Texts and Monographs in Computer Science, 0172-603X · Texts and monographs in computer science |