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
GLS pont 1 390 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
GLS pont 1 390 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
Verified Functional Programming in Agda
Nyelv
Angol
Angol
Könyv
Puha kötésű
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enou...
Teljes leírás
Libristo kód: 12519282
?
245 b
245 b
38 635
Ft
Beszállítói készleten
Küldés 14-18 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of
Információ a könyvről
Teljes megnevezés
Verified Functional Programming in Agda
Szerző
Aaron Stump
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2016
Oldalszám
284
EAN
9781970001242
ISBN
1970001240
Libristo kód
12519282
Súly
540
Méretek
191 x 235 x 20
