Name: Domains and Lambda-Calculi
Price: 1705.95 DKK
Availability: InStock
Author: Roberto M. (Universite de Provence) Amadio
ISBN: 9780521622776

Domains and Lambda-Calculi af Roberto M. (Universite de Provence) Amadio

Du sparer 0% ift. normalprisen Spar 0%

Bag om Domains and Lambda-Calculi

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 ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

Vis mere

Sprog:
Engelsk

ISBN:
9780521622776

Forlag:
Cambridge University Press

Indbinding:
Hardback

Sideantal:
504

Udgivet:
2. juli 1998

Størrelse:
236x159x37 mm.

Vægt:
890 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 7. december 2024

På lager

Normalpris

BLACK NOVEMBER
1.705,95 kr. + Fragt
~~1.705,95 kr.~~

Medlemspris

1.655,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Roberto M. (Universite de Provence) Amadio

Vis alle bøger af Roberto M. (Universite de Provence) Amadio

Beskrivelse af Domains and Lambda-Calculi

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 ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.

Brugerbedømmelser af Domains and Lambda-Calculi

Andre købte også..

Find lignende bøger

Bogen Domains and Lambda-Calculi findes i følgende kategorier:

Business og læring > Computer og IT

Domains and Lambda-Calculi - Roberto M. (Universite de Provence) Amadio - Bog

Bag om Roberto M. (Universite de Provence) Amadio

Beskrivelse af Domains and Lambda-Calculi

Brugerbedømmelser af Domains and Lambda-Calculi

Gør som tusindvis af andre bogelskere