The Little Prover
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Daniel P. Friedman
Carl Eastlund
Co-auteur:
Duane Bibby
- Engels
- Paperback
- 9780262527958
- 10 juli 2015
- 248 pagina's
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
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
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
- Boek, ebook of luisterboek?
- Boek
- Taal
- Engels
- Beschikbaarheid
- Leverbaar
- Studieboek of algemeen
- Algemene boeken
Kies gewenste uitvoering
Kies je bindwijze
(2)
Prijsinformatie en bestellen
De prijs van dit product is 52 euro en 59 cent.
Uiterlijk 7 juni in huis
Verkoop door
MyBoeken.nl
- Bestellen en betalen via bol
- Prijs inclusief verzendkosten, verstuurd door MyBoeken.nl
- 30 dagen bedenktijd en gratis retourneren
- Wettelijke garantie via MyBoeken.nl
Shop dit artikel
Vaak samen gekocht
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.