Derived preconditions and their use in program synthesis
Edición de la obra Derived preconditions and their use in program synthesis
| Autor | Douglas R. Smith |
|---|---|
| Editorial | Naval Postgraduate School |
| Fecha de publicación | 1982 |
| Lugar | Monterey, California |
| Idioma | inglés |
| Páginas | 27 |
| OCLC | 80333400 |
| Número de Cutter | S645d |