Program Verification
Fundamental Issues in Computer Science (Studies in Cognitive Systems)
Edición de la obra Program verification
| Autor | Timothy R. Colburn, James H. Fetzer |
|---|---|
| Editorial | Springer |
| Fecha de publicación | December 31, 1899 |
| Idioma | inglés |
| Páginas | 471 |
| Formato | Hardcover |
| ISBN-13 | 9780792319658 |
| ISBN-10 | 0792319656 |
| Número de Cutter | C685p |