Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Domains and Lambda-Calculi

Domains and Lambda-Calculi

von Roberto M. (Universite de Provence) Amadio

enthalten in Cambridge Tracts in Theoretical Computer Science-Reihe

Domains and Lambda-Calculi von Roberto M. (Universite de Provence) Amadio
Über 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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9780521622776
  • Einband:
  • Gebundene Ausgabe
  • Seitenzahl:
  • 504
  • Veröffentlicht:
  • 2. Juli 1998
  • Abmessungen:
  • 236x159x37 mm.
  • Gewicht:
  • 890 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Über Roberto M. (Universite de Provence) Amadio

Alle Bücher von Roberto M. (Universite de Provence) Amadio anzeigen

Beschreibung von 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.

Kund*innenbewertungen von Domains and Lambda-Calculi



Andere kauften auch ...
Ähnliche Bücher finden
Das Buch Domains and Lambda-Calculi ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.