
Tell your friends about this item:
Program Proofs
K. Rustan M. Leino
Program Proofs
K. Rustan M. Leino
496 pages, 20 line drawings, 30 figures
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | March 7, 2023 |
ISBN13 | 9780262546232 |
Publishers | MIT Press Ltd |
Pages | 496 |
Dimensions | 181 × 228 × 26 mm · 778 g |
See all of K. Rustan M. Leino ( e.g. Paperback Book )