[email protected]
24 órán belül válaszolunk
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
Packeta 990 Ft
GLS futár 1 590 Ft
GLS pont 1 390 Ft
Kapcsolat
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
Packeta 990 Ft
GLS futár 1 590 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?
[email protected]
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
Computer Science Logic
Nyelv
Angol
Angol
Könyv
Puha kötésű
This book constitutes the refereed proceedings of the 18th International Workshop on Computer Scienc...
Teljes leírás
Libristo kód: 01559782
?
154 b
154 b
24 164
Ft
Beszállítói készleten alacsony példányszámban
Küldés 13-16 napon belül
30 nap a termék visszaküldésére
This book constitutes the refereed proceedings of the 18th International Workshop on Computer Science Logic, CSL 2004, held as the 13th Annual Conference of the EACSL in Karpacz, Poland, in September 2004.The 33 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 88 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts.
Információ a könyvről
Teljes megnevezés
Computer Science Logic
Szerző
Jerzy Marcinkowski, Andrzej Tarlecki
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2004
Oldalszám
522
EAN
9783540230243
ISBN
3540230246
Libristo kód
01559782
Súly
1650
Méretek
155 x 235 x 29
Kategória
Technológia, mérnöki tudományok, mezőgazdaság
>
Elektronikus és kommunikációs gépészet
>
Villamosmérnöki tudomány
>
Automata irányítási gépészet
>
Robotika
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éptudomány
>
Számítógéptudomány matematikai elmélete
