Program Proofs Paperback by K. Rustan M. Leino; illustrated by Kaleb Leino Fiction - Romance - Later In Life GQ: Best of Modern Middle
Program Proofs Paperback by K. Rustan M. Leino; illustrated by Kaleb Leino Fiction - Romance - Later In Life GQ: Best of Modern MiddleProduct Details Publisher: The MIT Press (2023 03 07) Language: English Paperback: 496 pages ISBN 13: 9780262546232 Item Weight: 773. 96 grams Dimensions: 9. 0 x 6. 94 x 0. 85 cm This comprehensive and highly readable textbook teaches how to formally reason about computer programs using an incremental approach and the verification aware programming language Dafny. Program Proofs shows students what it means to write specifications for programs, what
USD82.80
USD118.80
Pay in 4 interest-free payments of $20.70 Learn more
Shipping Estimate
USA
- USA
- CAN
- USA
- CAN
Ships within 48 hours · Estimated delivery Oct 21 - Oct 26