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 | 1987 |
| Lugar | Stuttgart, Chichester |
| Idioma | inglés |
| Páginas | 230 |
| ISBN-10 | 0471912824 |
| Serie | Wiley-Teubner series in computer science |
| Número de Cutter | L825f |