Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

A rendelés állapotának ellenőrzése

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 regisztráció

Ingyenes szállítás a FoxPost futárszolgálattal, 19 990 Ft feletti vásárlás esetén

DPD gyűjtőpont 990 Ft DPD futárszolgálat 1 190 Ft GLS pont 1 190 Ft Magyar Posta 1 795 Ft PostaPont / Csomagautomata 1 690 Ft Magyar Posta 1 690 Ft FoxPost 1 190 Ft Packeta 1 190 Ft GLS futár 1 690 Ft

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Ingyenes szállítás 19 990 Ft feletti rendelés esetén – Packeta, Fox Post Box és DPD csomagpont átvétellel

Types for Proofs and Programs

Name: Types for Proofs and Programs
Brand: Springer, Berlin
SKU: 01558109
Price: 19818 HUF
Availability: InStock
Author: Herman Geuvers
ISBN: 9783540140313

Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers

Herman Geuvers

Freek Wiedijk

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 01558109

Kiadó Springer, Berlin, november 2002

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop... Teljes leírás

Libristo kód: 01558109

136 b

19 818 Ft

Beszállítói készleten Küldés 5-8 napon belül

Akár 30 napos visszaküldési lehetőség

A vásárlók ilyet vásároltak

Petition, CI-Devant Chef Du Second Bataillon Du 92e Regiment d'Infanterie, Et Ancien Capitaine BEGG-G

Puha kötésű

5 196 Ft

Zákon neviny Michael Connelly

Kemény kötésű

4 961 Ft

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop of the TYPES Working Group, TYPES 2002, held in Berg en Dal, The Netherlands in April 2002.§The 18 revised full papers presented were carefully selected during two rounds of reviewing and improvement. All current issues in type theory and type systems and their applications to programming, systems design, and proof theory are addressed. Among the systems dealt with are Coq and Isar/HOL.

Színésznő & Poliglott

EWA KASP részére

A videó lejátszása

A Libristo rendelkezik az idegennyelvű könyvek legnagyobb kínálatával. Ezért vásárolom a könyveket itt.

Információ a könyvről

Teljes megnevezés Types for Proofs and Programs

Szerző Herman Geuvers, Freek Wiedijk

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2003

Oldalszám 336

EAN 9783540140313

ISBN 354014031X

Libristo kód 01558109

Kiadó Springer, Berlin

Súly 485

Méretek 155 x 235 x 18

Kategória

Gyermekek és serdülőkorúak számára írt könyvek, oktatási célra szánt konyvek > Oktatási anyag > Oktatási: matematika, tudomány és technológia, általános > Oktatási: tudományok, általános

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés

Számítástechnika és információtechnológia > Operációs rendszerek

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére