The Little Prover Paperback by Daniel P. Friedman and Carl Eastlund; drawings by Duane Bibby; foreword by J Strother Moore; afterword by Matthias Felleisen Condition:New Lynne Cox—acclaimed best-selling author of

Lynne Cox—acclaimed best-selling author of Swimming to Antarctica—is internationally famous for swimming the world’s most difficult waterways without a wet suit

but highlights the hurricanes that continually threaten these islands and the people who live there

and mains to snacks

excelling at gracious entertaining

The Little Prover Paperback by Daniel P. Friedman and Carl Eastlund; drawings by Duane Bibby; foreword by J Strother Moore; afterword by Matthias Felleisen Condition:New Lynne Cox—acclaimed best-selling author ofProduct Details Publisher: The MIT Press (2015 07 10) Language: English Paperback: 248 pages ISBN 13: 9780262527958 Item Weight: 467. 78 grams Dimensions: 9. 0 x 7. 0 x 0. 58 cm An introduction to writing proofs about computer programs, written in an accessible question and answer style, complete with step by step examples and a simple proof assistant. The Little Prover introduces inductive proofs as a way to determine facts about computer programs.