Domains and Lambda-Calculi (Bog, Paperback / softback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk logik
  5. Matematisk datateori
  6. Domains and Lambda-Calculi

Domains and Lambda-Calculi

(Bog, Paperback / softback, Engelsk)
Forfattere: Roberto M. (Universite de Provence) Amadio, Pierre-Louis (Ecole Normale Superieure Curien
Domains and Lambda-Calculi
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere Roberto M. (Universite de Provence) Amadio, Pierre-Louis (Ecole Normale Superieure Curien
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 15-05-2008
Første udgivelsesår 2008
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer 85 Line drawings, unspecified
Originalsprog United Kingdom
Sideantal 504
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 504 pages, 85 Line drawings, unspecified
Mål 228 x 154 x 30
ISBN-13 / EAN-13 9780521062923