Program Proofs

K Rustan M Leino author Kaleb Leino author

Format:Paperback

Publisher:MIT Press Ltd

Published:7th Mar '23

£67.00

Available to order, but very limited on stock - if we have issues obtaining a copy, we will let you know.

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