Program Proofs

(Author) (Illustrator)
Available

Product Details

Price
$84.00
Publisher
MIT Press
Publish Date
Pages
496
Dimensions
6.93 X 8.9 X 0.94 inches | 1.63 pounds
Language
English
Type
Paperback
EAN/UPC
9780262546232

Earn by promoting books

Earn money by sharing your favorite books through our Affiliate program.

Become an affiliate

About the Author

K. Rustan M. Leino is a Senior Principal Applied Scientist in the Automated Reasoning Group at Amazon Web Services, an ACM Fellow, an IFIP Fellow, and a recipient of the CAV Award.