The Little Prover

Valutazione media 3,64
( su 14 valutazioni fornite da GoodReads )
 
9780262527958: The Little Prover

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.

I migliori risultati di ricerca su AbeBooks

1.

Daniel P. Friedman
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Quantità: 2
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 29,72
Convertire valuta

Aggiungere al carrello

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

2.

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 26,53
Convertire valuta

Aggiungere al carrello

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

3.

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

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

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 31,26
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
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 29,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,66
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. 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. Codice libro della libreria AAC9780262527958

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,56
Convertire valuta

Aggiungere al carrello

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

6.

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. 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. Codice libro della libreria AAC9780262527958

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,72
Convertire valuta

Aggiungere al carrello

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

7.

Friedman, Daniel P.; Eastlund, Carl
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Quantità: 5
Da
GreatBookPrices
(Columbia, MD, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Codice libro della libreria 23749876-n

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 32,63
Convertire valuta

Aggiungere al carrello

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

8.

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 32,39
Convertire valuta

Aggiungere al carrello

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

9.

Friedman, Daniel P.; Eastlund, Carl; Bibby, Duane [Illustrator]; Felleisen, Matthias [Afterword]; Moore, J Strother [Foreword];
Editore: The MIT Press (2015)
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2015. Paperback. Condizione libro: New. Codice libro della libreria BKTY9780262527958

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,44
Convertire valuta

Aggiungere al carrello

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

10.

FRIEDMAN
ISBN 10: 0262527952 ISBN 13: 9780262527958
Nuovi Quantità: 2
Da
firstbookstore
(New Delhi, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Codice libro della libreria AIND-65605

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 39,58
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro