Program Proofs Paperback by K. Rustan M. Leino; illustrated by Kaleb Leino Fiction - Romance - Later In Life 'Twilight Alley'

Name: Program Proofs Paperback by K. Rustan M. Leino; illustrated by Kaleb Leino Fiction - Romance - Later In Life 'Twilight Alley'
Brand: chapuisstores.ch
SKU: 58277192280
Price: 82.80 USD
Availability: InStock
Rating: 4.6165 (25 reviews)

Program Proofs Paperback by K. Rustan M. Leino; illustrated by Kaleb Leino Fiction - Romance - Later In Life 'Twilight Alley'Product 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

SKU: 58277192280 · From chapuisstores.ch

4.6

USD82.80 USD123.80

Pay in 4 interest-free payments of $20.70 Learn more