1. Textbooks
  2. Program Proofs

K. Rustan M. Leino

ISBN 978-0-262-54623-2

MIT Press

Sell your copy of this textbook

Buy new

Buy from Amazon for $112.53 with fast & free shipping on orders over $39

Buy secondhand from 0 sellers


We don't have any copies of Program Proofs at the moment!

Please check back soon for more copies.