An introduction to formal program verification
Edición de la obra An introduction to formal program verification
| Autor | Ali Mili |
|---|---|
| Editorial | Van Nostrand Reinhold Co. |
| Fecha de publicación | 1985 |
| Lugar | New York |
| Idioma | inglés |
| Páginas | 291 |
| ISBN-10 | 0442263228 |
| OCLC | 10457374 |
| LCCN | 84003528 |
| Número de Cutter | M644i |