Logics for low-level code and proof-preserving program transformations
Edición de la obra Logics for low-level code and proof-preserving program transformations
| Autor | Ando Saabas |
|---|---|
| Fecha de publicación | 2008 |
| Idioma | inglés |
| Páginas | 171 |
| ISBN-13 | 9789985598658 |
| ISBN-10 | 9985598652 |
| OCLC | 313750641 |
| Número de Cutter | S111l |