Cantitate/Preț
Produs

The Little Prover: The MIT Press

Autor Daniel P. Friedman, Carl Eastlund, Duane Bibby, J Strother Moore, Matthias Felleisen
en Limba Engleză Paperback – 27 aug 2015
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.

Citește tot Restrânge

Din seria The MIT Press

Preț: 28918 lei

Nou

Puncte Express: 434

Preț estimativ în valută:
5534 5749$ 4597£

Carte disponibilă

Livrare economică 13-27 ianuarie 25
Livrare express 27 decembrie 24 - 02 ianuarie 25 pentru 3614 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780262527958
ISBN-10: 0262527952
Pagini: 248
Ilustrații: 22 b&w illus.
Dimensiuni: 178 x 229 x 16 mm
Greutate: 0.48 kg
Editura: Mit Press
Seria The MIT Press


Notă biografică


Descriere

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.