phone 02/210 210 99
LIBRISTO 0
Ingyenes szállítás a Packetával, 59.99 € feletti vásárlás esetén
Szlovák posta 4.49 € SPS futárszolgálat 4.99 € GLS futár 3.99 € GLS pont 2.99 € Packeta futárszolgálat 4.99 € Packeta pont 2.99 €
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
61.56 €
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 8.48 €
On the Refinement Calculus Carroll Morgan / Puha kötésű
common.buy 61.56 €
Abissinia Giornale di un viaggio Giuseppe Vigoni / Puha kötésű
common.buy 36.39 €
Das Liederbuch 2004-2010 Silbermond / Puha kötésű
common.buy 40.13 €
Advances in Cryptology - CRYPTO '90 Alfred J. Menezes / Puha kötésű
common.buy 61.56 €
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung Ellen Ziegler / Puha kötésű
common.buy 40.73 €
Euro, Inflation and Consumers' Perceptions Paolo Giovane / Puha kötésű
common.buy 121.31 €
Zeitungsanalyse 'Tagespost' 02.1919-03.1919 Katharina Bergmaier / Puha kötésű
common.buy 37.40 €
Riemann's Boundary Problem with Infinite Index Nikolaj V. Govorov / Kemény kötésű
common.buy 121.31 €

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