Program verification
fundamental issues in computer science
Edición de la obra Program verification
| Autor | Timothy R. Colburn, James H. Fetzer |
|---|---|
| Editorial | Kluwer Academic Publishers, Springer |
| Fecha de publicación | 1993 |
| Lugar | Dordrecht, Boston |
| Idioma | inglés |
| Páginas | 457 |
| ISBN-10 | 0792319656 |
| OCLC | 27680183 |
| LCCN | 92026748 |
| Serie | Studies in cognitive systems ; · v. 14 |