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 He believes in visual communication

He believes in visual communication as a power for good

The quintessential movie star of the 1940s

You can find her at www

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

In particular her theory that accumulating ‘micro-moments of positivity

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 He believes in visual communicationProduct 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.