Daniel P. (Professor Friedman Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
The Little Prover (Bog, Paperback / softback, Engelsk)
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.
Levering: 6 - 9 hverdage -
The Little Schemer (Bog, Paperback / softback, Engelsk)
This text is a companion volume to "The Seasoned Schemer" and includes thoughts for anyone who wants to know what computing is about and to learn the physics of cyberspace. The information is presented in a humorous and easy-to-grasp fashion.
Levering: 6 - 9 hverdage
