Domains and Lambda-Calculi
1.342 kr.
1.342 kr.
Tors., 6 feb. - ons., 12 feb.
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Produktbeskrivelse
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.
Varenr.
b2cbfca1-f840-4a07-ba2f-d5588923305b
Domains and Lambda-Calculi
1.342 kr.
1.342 kr.
Tors., 6 feb. - ons., 12 feb.
Sikker betaling
14 dages åbent køb
Sælges og leveres af
Adlibris
Lignende topsælgere
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
599 kr.
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
659 kr.
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande - roterbar
549 kr.
2-i-1 foldeløbebånd, elektrisk løbebånd under skrivebordet, jogging til hjemmekontoret Sort
1.549 kr.
Timer til Klasselokalet - 60 minutter
169 kr.
FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm
961 kr.
Sammenfoldelig justerbar vægtbænk, 660 LB kapacitet - Kompakt og sammenfoldelig vægtbænk til hjemmegymnastik, fuld kropstræning B
549 kr.
RCA AV till HDMI Converter / Adapter 1080P Universal White
79 kr.
Tidligere laveste pris:
99 kr.
Ersättningsfjärrkontroll för Chromecast Google TV G9N9N
89 kr.
Tidligere laveste pris:
99 kr.
Nintendo Wii til HDMI Adapter 1080p Full-HD
47 kr.
Anbefalede produkter
Nødradio med solceller og håndsving Solcelle 2000mAh Powerbank SOS
199 kr.
FENCHILIIN Hollywood Makeup Spejl Med Lys dæmpbar med tre lystilstande Bordplade vægbeslag hvid 58 x 46cm
695 kr.
Ørepuder til Bose QuietComfort - QC35/QC25/QC15/AE2 Hovedtelefoner Svart
69 kr.
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
599 kr.
Samsung Oplader Hurtigoplader - Adapter + Kabel 25W USB-C 2m
80 kr.
2-i-1 foldeløbebånd 1-6 km/t til hjemmekontoret Sort
1.349 kr.
FENCHILIIN Stor Hollywood Makeup Spejl med Lamper Bluetooth Table Top Vægbeslag Hvid 80 x 58 cm
932 kr.
Magnetic Tiles Kuglebane 88 dele
329 kr.
Tidligere laveste pris:
480 kr.
Sovende hovedtelefoner - pandebånd og øjenmaske med Bluetooth -hovedtelefoner
139 kr.
Tidligere laveste pris:
199 kr.
Blodtryksmåler til overarmen med hukommelsesfunktioner
159 kr.
Tidligere laveste pris:
169 kr.