Problems arising in proving the correctness of a computer program
Edición de la obra Problems arising in proving the correctness of a computer program
| Autor | Catherine Steele |
|---|---|
| Editorial | [s.n.] |
| Fecha de publicación | 1974 |
| Lugar | Toronto |
| Idioma | inglés |
| Número de Cutter | S814p |