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

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:
9780521062923

Forlag:
Cambridge University Press

Indbinding:
Paperback

Sideantal:
504

Udgivet:
15. maj 2008

Størrelse:
154x228x30 mm.

Vægt:
746 g.

Leveringstid: 2-3 uger.
Forventet levering: 11. december 2024

På lager

Normalpris

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

Medlemspris

645,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