Program Proofs
Edición de la obra Program Proofs
| Autor | K. Rustan M. Leino, Kaleb Leino |
|---|---|
| Editorial | MIT Press, The MIT Press |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| Páginas | 496 |
| ISBN-13 | 9780262546232 |
| Número de Cutter | L531p |
Edición de la obra Program Proofs
| Autor | K. Rustan M. Leino, Kaleb Leino |
|---|---|
| Editorial | MIT Press, The MIT Press |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| Páginas | 496 |
| ISBN-13 | 9780262546232 |
| Número de Cutter | L531p |