Program Proofs

K Rustan M Leino author Kaleb Leino author

Format:Paperback

Publisher:MIT Press Ltd

Published:7th Mar '23

Currently unavailable, our supplier has not provided us a restock date

Program Proofs cover

This non-fiction paperback, "Program Proofs" from K Rustan M Leino & Kaleb Leino, was published 7th March 2023 by MIT Press Ltd.

ISBN: 9780262546232

Dimensions: unknown

Weight: unknown

496 pages