Маленький прувер - Фридман, Дэниел П. Электронная книга

Przedmiotem oferty jest książka elektroniczna (EBOOK) zabezpieczona ADOBE DRM

(to nie jest zwykły pdf/epub)

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.

• Autorzy: Friedman, Daniel P.
• Wydawnictwo: The MIT Press
• Data wydania: 2015
• Wydanie:
• Liczba stron: 248
• Format pliku: DRM PDF
• Język publikacji: angielski
• ISBN: 9780262330565

Kupując w tej ofercie otrzymujesz natychmiastowy dostęp do treści cyfrowych i na podstawie art. 38 pkt 13 Ustawy z dnia 30 maja 2014 roku o prawach konsumenta w momencie pobrania pliku rezygnujesz z prawa do odstąpienia od umowy zawartej na odległość.

UWAGA - plik jest zabezpieczony ADOBE DRM:

- Plik można pobrać maksymalnie 6 razy i tylko przez 24 miesiące od zakupu;

- Brak możliwości drukowania i kopiowania treści;

- Do otworzenia ebooka niezbędny jest dodatkowy program - Adobe Digital Editions.

WAŻNE:

W tej ofercie otrzymujesz natychmiastowy dostęp na PÓŁCE ALLEGRO.

Brak możliwości zwrotu po pobraniu pliku z półki.

Nie przesyłamy plików bezpośrednio na e-mail.