Utvidet returrett til 31. januar 2024
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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521622776
  • Bindende:
  • Hardback
  • Sider:
  • 504
  • Utgitt:
  • 2. juli 1998
  • Dimensjoner:
  • 236x159x37 mm.
  • Vekt:
  • 890 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 28. november 2024

Beskrivelse av 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.

Brukervurderinger av Domains and Lambda-Calculi



Finn lignende bøker
Boken Domains and Lambda-Calculi finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.