Tájékoztatjuk kedves Vásárlóinkat, hogy az ügyfélszolgálat az állami ünnep végett nem elérhető. Megértésüket köszönjük.
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS futár 1 590 Ft
Packeta 990 Ft
Hogyan vásároljunk
Segítség
Kézbesítés
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
GLS futár 1 590 Ft
Packeta 990 Ft
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
+36 1 6333 184
Saját fiók
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes fiók létrehozása
▸
Üres :-(
0
Tájékoztatjuk kedves Vásárlóinkat, hogy az ügyfélszolgálat az állami ünnep végett nem elérhető. Megértésüket köszönjük.
Little Prover
Nyelv
Angol
Angol
Könyv
Puha kötésű
An introduction to writing proofs about computer programs, written in an accessible question-and-ans...
Libristo kód: 09392623
?
124 b
124 b
20 935 Ft
▸
-6
%
19 476
Ft
Beszállítói készleten
Küldés 3-5 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
/
Puha kötésű
11 605
Ft
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.
Információ a könyvről
Teljes megnevezés
Little Prover
Szerző
Carl Eastlund
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2015
Oldalszám
248
EAN
9780262527958
ISBN
9780262527958
Libristo kód
09392623
Kiadó
MIT Press Ltd
Súly
472
Méretek
179 x 231 x 16
