pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions

Item Details
Title: THE LITTLE PROVER
By: Daniel P. Friedman, Carl Eastlund, Duane Bibby
Format: Paperback

List price: £38.00
Our price: £30.40
Discount:
20% off
You save: £7.60
ISBN 10: 0262527952
ISBN 13: 9780262527958
Availability: Usually dispatched within 3-5 days.
 Delivery rates
Stock: Currently 9 available
Publisher: MIT PRESS LTD
Pub. date: 10 July, 2015
Series: The Little Prover
Pages: 248
Synopsis: The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, with the characteristic humor of The Little Schemer (fourth edition, MIT Press). Sometimes the best way to learn something is to sit down and do it; the book takes readers through step-by-step examples showing how to write inductive proofs. The Little Prover assumes only knowledge of recursive programs and lists (as presented in the first three chapters of The Little Schemer) and uses only a few terms beyond what novice programmers already know. The book comes with a simple proof assistant to help readers work through the book and complete solutions to every example.
Illustrations: 22 b&w illus.
Publication: US
Imprint: MIT Press
Returns: Returnable
Some other items by this author:

TOP SELLERS IN THIS CATEGORY
Learning to Program in Python (Paperback)
By: P. M. Heathcote
PG Online Limited
Our Price : £13.30
more details
Practical Vim (Paperback)
By: Drew Neil
The Pragmatic Programmers
Our Price : £20.69
more details
BTEC Nationals Information Technology (Mixed media product)
By: Jenny Phillips, Alan Jarvis, Mark Fishpool
Pearson Education Limited
Our Price : £29.84
more details
HTML & Css (Paperback)
By: Jon Duckett
John Wiley & Sons Inc
Our Price : £16.78
more details
The LISP Network (Paperback)
By: Dino Farinacci, Victor Moreno
Pearson Education (US)
Our Price : £36.29
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 computer programming


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
World’s Worst Superheroes
By: DAVID WALLIAMS
GET READY FOR SOME SUPERSIZED FUN!
add to basket

Inspiring
Maya Angelou
By: EVIE DAYE
add to basket

Inspiring
Jane Goodall
By: EVIE DAYE
add to basket

Inspiring
Marie Curie
By: EVIE DAYE
add to basket

New
Running My Own Race
By: ABENA EYESON
add to basket

New
No Cheese, Please!
By: NISHANI REED
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero
By: DAVID SOLOMONS
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket

Picture Book
Thoughts from a Quiet Bench
By: KES GRAY
add to basket

Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket