Winter deals - Sidste chance!

Winter deals - Sidste chance!

Fri fragt over 299kr
Fri fragt over 299kr
Kundeservice
Domains and Lambda-Calculi

Domains and Lambda-Calculi

1.342 kr.

1.342 kr.

På lager

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.

På lager

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
Bright Beauty

Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande

599 kr.

4,5(72)
onsdag, 15 jan.
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande
Bright Beauty Vanity

Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande

659 kr.

4,3(897)
onsdag, 15 jan.
Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande - roterbar
Bright Beauty Vanity

Bright Beauty Vanity Namira - make up spejl med belysning - hollywood spejl - schminke spejl med lys - hvid - dæmpbar med tre lystilstande - roterbar

549 kr.

4,1(45)
onsdag, 15 jan.
2-i-1 foldeløbebånd, elektrisk løbebånd under skrivebordet, jogging til hjemmekontoret Sort
Bigzzia

2-i-1 foldeløbebånd, elektrisk løbebånd under skrivebordet, jogging til hjemmekontoret Sort

1.549 kr.

4,2(295)
torsdag, 23 jan.
Timer til Klasselokalet - 60 minutter
Generic

Timer til Klasselokalet - 60 minutter

169 kr.

4,2(55)
onsdag, 22 jan.
FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm
Fenchilin

FENCHILIIN Stor Hollywood Makeup Spejl med lys USB bordplade vægbeslag hvid 80 x 58 cm

961 kr.

4,5(164)
onsdag, 15 jan.
Sammenfoldelig justerbar vægtbænk, 660 LB kapacitet - Kompakt og sammenfoldelig vægtbænk til hjemmegymnastik, fuld kropstræning B
Rattrix

Sammenfoldelig justerbar vægtbænk, 660 LB kapacitet - Kompakt og sammenfoldelig vægtbænk til hjemmegymnastik, fuld kropstræning B

549 kr.

5,0(1)
onsdag, 22 jan.
RCA AV till HDMI Converter / Adapter 1080P Universal White
A Series

RCA AV till HDMI Converter / Adapter 1080P Universal White

79 kr.

Tidligere laveste pris:

99 kr.

5,0(2)
tirsdag, 14 jan.
Ersättningsfjärrkontroll för Chromecast Google TV G9N9N
Remote TV

Ersättningsfjärrkontroll för Chromecast Google TV G9N9N

89 kr.

Tidligere laveste pris:

99 kr.

3,0(6)
mandag, 20 jan.
Nintendo Wii til HDMI Adapter 1080p Full-HD
Best Trade

Nintendo Wii til HDMI Adapter 1080p Full-HD

47 kr.

4,4(37)
fredag, 24 jan.