The Little Prover

Name: The Little Prover
Author: Daniel P. Friedman

Auteur: Daniel P. Friedman

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Daniel P. Friedman Carl Eastlund

Co-auteur: Duane Bibby

Engels
Paperback
9780262527958
10 juli 2015
248 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 10 juli 2015
Aantal pagina's: 248
Illustraties: Nee

Betrokkenen

Hoofdauteur: Daniel P. Friedman
Tweede Auteur: Carl Eastlund
Co Auteur: Duane Bibby
Hoofdillustrator: Duane Bibby
Co Illustrator: Duane Bibby
Hoofduitgeverij: Mit Press

Overige kenmerken

Editie: 1
Extra groot lettertype: Nee
Product breedte: 178 mm
Product hoogte: 15 mm
Product lengte: 229 mm
Studieboek: Ja
Verpakking breedte: 178 mm
Verpakking hoogte: 15 mm
Verpakking lengte: 229 mm
Verpakkingsgewicht: 666 g

EAN

EAN: 9780262527958

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Computers & Informatica

Programmeren

Wiskunde

Mobiele devices & apps

Softwareontwikkeling

Web programmeren

Boeken
Beschikbaarheid: Leverbaar
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Algemene boeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.