Kniha Little Prover Carl Eastlund

Little Prover

Autor: Carl Eastlund
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: MIT Press Ltd
Dostupnost: 50 % šance
Prohledáme celý svět
1 109
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2015
Stránek
248
EAN
9780262527958
ISBN
9780262527958
Enbook ID
09392623
Vydavatel
Hmotnost
472
Rozměry
179 x 231 x 16

Kompletní popis

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.

Mohlo by vás zajímat

Little Prover

Daniel P. Friedman
1 099
169
199

Japanese Tattoos

Yori Moriarty
474

Dessert Person

Claire Saffitz
570
218
816

The Shadows Between Us

Tricia Levenseller
284
219

Kingdom of the Wicked

Kerri Maniscalco
204

This Winter

Alice Oseman
186

Persona 5, Vol. 4

Hisato Murasaki
214
631

BEASTARS, Vol. 7

Paru Itagaki
218

Zákaznicí kteří koupili tuto knihu koupili také

1 175
1 299

Little Schemer

Matthias Felleisen
1 123
780
1 407