phone +36 1 6333 184
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 GLS futár 1 590 Ft Packeta 990 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 David H. Pitt
Libristo kód: 01565222
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Teljes leírás
? points 168 b
26 137 Ft
Beszállítói készleten alacsony példányszámban Küldés 12-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

toplistás
Ignite Me Tahereh Mafi / Puha kötésű
common.buy 3 579 Ft
toplistás
Hamlet William Shakespeare / Puha kötésű
common.buy 1 493 Ft
Complete Language of Flowers S. THERESA DIETZ / Kemény kötésű
common.buy 6 391 Ft
Category Theory in Context Riehl / Puha kötésű
common.buy 12 658 Ft
Chaika: The Coffin Princess, Vol. 2 Ichirou Sakaki / Puha kötésű
common.buy 5 674 Ft
Harvest of Sorrow Robert Conquest / Puha kötésű
common.buy 9 019 Ft
Freshwater Macroinvertebrates of Northeastern North America Barbara Peckarsky / Puha kötésű
common.buy 24 101 Ft
Working with PaperClay Anne Lightwood / Kemény kötésű
common.buy 11 135 Ft
In Our Hearts We Were Giants Eilat Negev / Puha kötésű
common.buy 8 676 Ft
Handbook of Food Products Manufacturing - Principles, Bakery, Beverages, Cereals, Cheese, Confectionary, Fats, Fruits and Functional Foods Y. H. Hui / Kemény kötésű
common.buy 201 433 Ft
Web Services Security and E-business G. S.V. Radha K. Rao / Kemény kötésű
common.buy 47 052 Ft
Jagged Window Wendy Robertson / Puha kötésű
common.buy 4 569 Ft
Scientific and Technical Translation Explained Jody Byrne / Puha kötésű
common.buy 21 801 Ft
Language and Politics William M. O'Barr / Kemény kötésű
common.buy 83 268 Ft
Economics Book Steven G. Medema / Kemény kötésű
common.buy 10 731 Ft
Visual Category Theory, CoPart 3: A Dual to Brick by Brick, Part 3 / Puha kötésű
common.buy 5 799 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ő David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts
Nyelv Angol
Kötés Könyv - Puha kötésű
Oldalszám 372
EAN 9783540516620
ISBN 354051662X
Libristo kód 01565222
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 1160
Méretek 170 x 250 x 21

Kategória

Matematika és természettudomány > Matematika > Matematika alapjai > Matematikai logika
Matematika és természettudomány > Matematika > Algebra
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

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