Recomienda este artículo a tus amigos:
Program Proofs K. Rustan M. Leino
Program Proofs
K. Rustan M. Leino
496 pages, 20 line drawings, 30 figures
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 7 de marzo de 2023 |
| ISBN13 | 9780262546232 |
| Editores | MIT Press Ltd |
| Páginas | 496 |
| Dimensiones | 181 × 228 × 26 mm · 778 g |
Ver todo de K. Rustan M. Leino ( Ej. Paperback Book )