Conte aos seus amigos sobre este item:
Program Proofs K. Rustan M. Leino
Program Proofs
K. Rustan M. Leino
496 pages, 20 line drawings, 30 figures
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 7 de março de 2023 |
| ISBN13 | 9780262546232 |
| Editoras | MIT Press Ltd |
| Páginas | 496 |
| Dimensões | 181 × 228 × 26 mm · 778 g |
Ver tudo de K. Rustan M. Leino ( por exemplo Paperback Book )