[email protected]
LIBRISTO 0
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
phone Kapcsolat phoneHogyan vásároljunk

Category Theory and Computer Science

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Category Theory and Computer Science Peter Johnstone
Libristo kód: 05274486
Kiadó Springer, Berlin, november 1994
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Teljes leírás
? points 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

Ezt is ajánljuk

Traditionelle Chinesische Medizin Paul U. Unschuld / Puha kötésű
common.buy 3 340 Ft
On the Refinement Calculus Carroll Morgan / Puha kötésű
common.buy 24 164 Ft
Das Liederbuch 2004-2010 Silbermond / Puha kötésű
common.buy 15 771 Ft
Abissinia Giornale di un viaggio Giuseppe Vigoni / Puha kötésű
common.buy 14 310 Ft
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / Puha kötésű
common.buy 15 987 Ft
Advances in Cryptology - CRYPTO '90 Alfred J. Menezes / Puha kötésű
common.buy 24 164 Ft
Euro, Inflation and Consumers' Perceptions Paolo Giovane / Puha kötésű
common.buy 47 656 Ft
Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier / Puha kötésű
common.buy 15 470 Ft
Riemann's Boundary Problem with Infinite Index Nikolaj V. Govorov / Kemény kötésű
common.buy 47 656 Ft

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.

Információ a könyvről

Teljes megnevezés Category Theory and Computer Science
Szerző Peter Johnstone, David Pitt, David E. Rydeheard
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 1995
Oldalszám 259
EAN 9783540601647
ISBN 3540601643
Libristo kód 05274486
Kiadó Springer, Berlin
Súly 357
Méretek 155 x 233 x 14

Kategória

Matematika és természettudomány > Matematika > Topológia > Algebraikus topológia
Számítástechnika és információtechnológia > Számítógéptudomány > Számítógéptudomány matematikai elmélete > Matematikaelmélet számítástechnikai tudósok számára
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épes építészet és logika tervezés
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

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása