phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Category Theory and Computer Science

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Category Theory and Computer Science David H. Pitt
Libristo kód: 01565222
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 14-18 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Ignite Me Tahereh Mafi / Brožovaná
common.buy 244 Kč
TOP
Hamlet William Shakespeare / Brožovaná
common.buy 90 Kč
Complete Language of Flowers S. THERESA DIETZ / Pevná
common.buy 344 Kč
Category Theory in Context Riehl / Brožovaná
common.buy 684 Kč
Chaika: The Coffin Princess, Vol. 2 Ichirou Sakaki / Brožovaná
common.buy 384 Kč
Harvest of Sorrow Robert Conquest / Brožovaná
common.buy 544 Kč
Freshwater Macroinvertebrates of Northeastern North America Barbara Peckarsky / Brožovaná
common.buy 1 550 Kč
Working with PaperClay Anne Lightwood / Pevná
common.buy 756 Kč
In Our Hearts We Were Giants Eilat Negev / Brožovaná
common.buy 558 Kč
Handbook of Food Products Manufacturing - Principles, Bakery, Beverages, Cereals, Cheese, Confectionary, Fats, Fruits and Functional Foods Y. H. Hui / Pevná
common.buy 12 951 Kč
Web Services Security and E-business G. S.V. Radha K. Rao / Pevná
common.buy 3 026 Kč
Jagged Window Wendy Robertson / Brožovaná
common.buy 312 Kč
Scientific and Technical Translation Explained Jody Byrne / Brožovaná
common.buy 1 469 Kč
Economics Book Steven G. Medema / Pevná
common.buy 690 Kč
Language and Politics William M. O'Barr / Pevná
common.buy 5 355 Kč
Visual Category Theory, CoPart 3: A Dual to Brick by Brick, Part 3 / Brožovaná
common.buy 373 Kč

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.

Informace o knize

Plný název Category Theory and Computer Science
Autor David H. Pitt, David E. Rydehaerd, Peter Dybjer, Andrew M. Pitts
Jazyk Angličtina
Vazba Kniha - Brožovaná
Počet stran 372
EAN 9783540516620
ISBN 354051662X
Libristo kód 01565222
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 1160
Rozměry 170 x 250 x 21

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Matematika a věda > Matematika > Algebra
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Výpočetní a informační technologie > Operační systémy
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet