The Little Prover

3,64 valoración promedio
( 14 valoraciones por GoodReads )
 
9780262527958: The Little Prover
Reseña del editor:

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.

Biografía del autor:

Daniel P. Friedman is Professor of Computer Science at Indiana University and coauthor of The Little Schemer (fourth edition), The Reasoned Schemer, The Seasoned Schemer, and Essentials of Programming Languages (third edition), all published by the MIT Press. Carl Eastlund is a software engineer at Jane Street Capital in New York City. Matthias Felleisen is Trustee Professor of Computer Science at Northeastern University, recipient of the Karl V. Karlstrom Outstanding Educator Award, and co-author (with Daniel Friedman) of The Little Schemer and three other "Little" books published by the MIT Press.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Daniel P. Friedman
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Cantidad: 2
Librería
Cherry_Books
(Missouri City, TX, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Brand New Book. Nº de ref. de la librería 0262527952SRB

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 29,81
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Felleisen, Matthias
Editorial: MIT Press
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Cantidad: > 20
Librería
INDOO
(Avenel, NJ, Estados Unidos de America)
Valoración
[?]

Descripción MIT Press. Estado de conservación: New. Brand New. Nº de ref. de la librería 0262527952

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 26,62
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,22
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Carl Eastlund; Daniel P. Friedman
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Cantidad: 5
Librería
GreatBookPrices
(Columbia, MD, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Nº de ref. de la librería 23749876-n

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 32,71
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,43
A Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Daniel P. Friedman, Carl Eastlund
Editorial: MIT Press Ltd, United States (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Paperback Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 2015. Paperback. Estado de conservación: New. 226 x 175 mm. Language: English . Brand New Book. 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. Nº de ref. de la librería AAC9780262527958

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 35,22
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Daniel P. Friedman, Carl Eastlund
Editorial: MIT Press Ltd, United States (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Paperback Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción MIT Press Ltd, United States, 2015. Paperback. Estado de conservación: New. 226 x 175 mm. Language: English . Brand New Book. 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. Nº de ref. de la librería AAC9780262527958

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 35,24
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Daniel P. Friedman
Editorial: MIT Press (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Cantidad: 2
Librería
PBShop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción MIT Press, 2015. PAP. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería IB-9780262527958

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 32,44
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,67
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Friedman, Daniel P.; Eastlund, Carl; Bibby, Duane [Illustrator]; Felleisen, Matthias [Afterword]; Moore, J Strother [Foreword];
Editorial: The MIT Press (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Paperback Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press, 2015. Paperback. Estado de conservación: New. Nº de ref. de la librería BKTY9780262527958

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 34,55
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,67
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

FRIEDMAN
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Cantidad: 2
Librería
firstbookstore
(New Delhi, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Nº de ref. de la librería AIND-65605

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 39,84
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Daniel P Friedman, Carl Eastlund, Duane Bibby
Editorial: Mit Press, United States (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Trade Paperback Cantidad: 1
Librería
Powell's Books
(Portland, OR, Estados Unidos de America)
Valoración
[?]

Descripción Mit Press, United States, 2015. Trade Paperback. Estado de conservación: New. TRADE PAPERBACK Legendary independent bookstore online since 1994. Reliable customer service and no-hassle return policy. Computers and Internet>Software Engineering>Programming and Languages. Book: NEW, New. Bookseller Inventory # 01978026252795800. Nº de ref. de la librería 01978026252795800

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 36,04
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,13
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Carl Eastlund; Daniel P. Friedman
Editorial: The MIT Press (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción The MIT Press, 2015. Paperback. Estado de conservación: New. book. Nº de ref. de la librería 0262527952

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 41,02
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda