Program Proofs - K. Rustan M. Leino - Books - MIT Press Ltd - 9780262546232 - March 7, 2023
In case cover and title do not match, the title is correct

Program Proofs

K. Rustan M. Leino

Price
Mex$ 1,523.55

Ordered from remote warehouse

Expected delivery Jun 4 - 11
Add to your iMusic wish list

Program Proofs

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