Books Beyond Borders
Sign In
BooksCOMPUTERS/Languages/General

Program Proofs

by K. Rustan M. Leino

Product Details

Author

K. Rustan M. Leino

Publisher

MIT Press

Binding

Paperback

ISBN

026254623X

Genre

COMPUTERS/Languages/General

Category

Books

Request This Product

Out of stock or looking to buy in bulk? Let us know how many you need and we'll work to source them for you.