The Little Prover (MIT Press)

Valutazione media 3,59
( su 17 valutazioni fornite da Goodreads )
 
9780262527958: The Little Prover (MIT Press)

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. 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

About the Author:

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.

Review:

Computational theorem proving is so useful, effective, and important that its advocates present it in economic terms: about preventing costly errors in software and protocols. What gets lost is just how much fun it can be. Friedman and Eastlund, two jolly characters, eschew talk of bugs and bombs, and strip it to its essence as only a Little book can. Want proof? Look inside!

(Shriram Krishnamurthi, Professor of Computer Science, Brown University)

What can you learn about a program without actually running it? What can you know by reading the code? In the grand tradition of The Little LISPer and The Little Schemer, Dan Friedman and Carl Eastlund elegantly present small programs that contain big ideas, but now also show how to prove claims about their behavior. The question-and-answer format makes it surprisingly easy to learn and master inductive proof techniques -- it's like eating peanuts! Don't overlook the concise and elegant code for the J-Bob proof assistant itself, tucked in the back. The Little Prover is a marvelous introduction to the program proof techniques used in such tools as ACL2, Isabelle, and Coq.

(Guy L. Steele Jr., Software Architect, Oracle Labs, coinventor of the Scheme language, and coauthor of Common LISP: The Language)

Friedman and Eastlund's The Little Prover is a gentle introduction to the nuts and bolts of formal proofs about programs. Following on from The Little Schemer, it is an excellent guide for both thoughtful functional programmers wondering what it really means to know that a program is correct and do-it-yourselfers who want a taste of how proof assistants like ACL2 do their work. Bring your sense of humor and your thinking cap!

(Benjamin C. Pierce, Henry Salvatori Professor of Computer and Information Science, University of Pennsylvania)

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Daniel P. Friedman
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Quantità: 3
Da
Cherry_Books
(Missouri City, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand New Book. Codice libro della libreria 0262527952SRB

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,57
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

2.

Friedman, Daniel P., Eastlund, Carl
Editore: The MIT Press (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Paperback Quantità: 11
Da
Buyback Express
(Alton, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2015. Paperback. Condizione libro: New. BRAND NEW BOOK!! SHIPS WITHIN 24 HOURS! Tracking Provided. DHL processing & USPS delivery for an average of 3-5 Day Standard & 2-3 Day Expedited! FREE INSURANCE! Fast & Personal Support! Careful Packaging. No Hassle, Full Refund Return Policy!. Codice libro della libreria mon0000656104

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 20,29
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,32
In U.S.A.
Destinazione, tempi e costi

3.

Felleisen, Matthias
Editore: MIT Press
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro MIT Press. Condizione libro: New. Brand New. Codice libro della libreria 0262527952

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 24,19
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,93
In U.S.A.
Destinazione, tempi e costi

4.

Friedman, Daniel P.
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Quantità: > 20
Da
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2015. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria TM-9780262527958

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 25,74
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,34
In U.S.A.
Destinazione, tempi e costi

5.

Daniel P. Friedman, Carl Eastlund
Editore: MIT Press Ltd, United States (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Paperback Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2015. Paperback. Condizione libro: New. 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. Codice libro della libreria AAC9780262527958

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 31,26
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Friedman, Daniel P.
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Quantità: 1
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2015. PAP. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria IB-9780262527958

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 28,48
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,34
In U.S.A.
Destinazione, tempi e costi

7.

Daniel P. Friedman, Carl Eastlund
Editore: MIT Press Ltd, United States (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Paperback Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2015. Paperback. Condizione libro: New. 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. Codice libro della libreria AAC9780262527958

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 31,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Daniel P. Friedman, Carl Eastlund
Editore: MIT Press Ltd, United States (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Paperback Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2015. Paperback. Condizione libro: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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. Codice libro della libreria BTE9780262527958

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 31,87
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Daniel P. Friedman; Carl Eastlund
Editore: The MIT Press (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Paperback Prima edizione Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2015. Paperback. Condizione libro: New. Duane Bibby (illustratore). book. Codice libro della libreria M0262527952

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 32,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

10.

Friedman, Daniel P.
Editore: The MIT Press (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Paperback Quantità: 1
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2015. Paperback. Condizione libro: New. Never used!. Codice libro della libreria 0262527952

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 35,89
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 1,67
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro