Search results for ‘Daniel P. Friedman,Matthias Felleisen’

Filter & Refine

      Cover image for The Little Schemer
      Paperback
      Add to list Added to list

      The Little Schemer

      Daniel P. Friedman,Matthias Felleisen

      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…

      $126.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for The Seasoned Schemer
      Paperback
      Add to list Added to list

      The Seasoned Schemer

      Daniel P. Friedman,Matthias Felleisen

      This text introduces computing as an extension of arithmetic and algebra. It introduces programs as recursive functions and briefly discusses the limits of what computers can do. The authors use…

      $143.99

      Available to order, ships in approx 2 weeksAvailable to order

      Cover image for The Little Prover
      Paperback
      Add to list Added to list

      The Little Prover

      Daniel P. Friedman (Professor, Indiana University),Carl Eastlund

      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.

      $126.99

      Available to order, ships in approx 2 weeksAvailable to order