Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Overseas 4.99 €
Pošta 4.99 €
DPD 5.99 €
GLS 3.99 €
GLS paketomat 3.49 €
Box Now 4.49 €
Kako kupovati
Pomoć
Dostava
Overseas 4.99 €
Pošta 4.99 €
DPD 5.99 €
GLS 3.99 €
GLS paketomat 3.49 €
Box Now 4.49 €
Besplatna dostava Overseas kurirskom službom iznad 59.99 €
Savjetnik za kupnju
Ovdje smo zbog vas!
+385 21 784 0072
Moj račun
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti.
Izradite besplatni račun
▸
Prazno :-(
0
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 59,99 €!
Category Theory and Computer Science
Jezik
Engleski
Engleski
Knjiga
Meki uvez
This book presents the proceedings of the Sixth International Conference on Category Theory and Comp...
Cijeli opis
Libristo kod: 01558474
?
154 b
154 b
61.44
€
Vanjske zalihe u manjem broju
Šaljemo za 13-16 dana
30 dana za povrat kupljenih proizvoda
Moglo bi vas zanimati i
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.
Informacije o knjizi
Puni naziv
Category Theory and Computer Science
Jezik
Engleski
Engleski
Uvez
Knjiga - Meki uvez
Datum izdanja
2007
Broj stranica
304
EAN
9783540185086
ISBN
3540185089
Libristo kod
01558474
Težina
970
Dimenzije
155 x 235 x 16
