The foundations of program verification
Edición de la obra The foundations of program verification
| Autor | Jacques Loeckx |
|---|---|
| Editorial | Teubner, Wiley |
| Fecha de publicación | 1984 |
| Lugar | Stuttgart, Chichester |
| Idioma | inglés |
| Páginas | 230 |
| ISBN-10 | 047190323X, 3519021013 |
| OCLC | 9826572 |
| LCCN | 83016658 |
| Serie | Wiley-Teubner series in computer science |
| Número de Cutter | L825f |