Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science - Amadio, Roberto M. (Universite de Provence) - Bücher - Cambridge University Press - 9780521622776 - 2. Juli 1998
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science

Amadio, Roberto M. (Universite de Provence)

Preis
Fr. 166,49

Bestellware

Lieferdatum: ca. 17. - 26. Mär

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science

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.

504 pages, 85 b/w illus.

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 2. Juli 1998
ISBN13 9780521622776
Verlag Cambridge University Press
Seitenanzahl 504
Maße 236 × 159 × 37 mm   ·   890 g
Serienredakteur Abramsky, S.
Serienredakteur Aczel, P. H.
Serienredakteur Bakker, J. W. De
Serienredakteur Gurevich, Y.
Serienredakteur Tucker, J. V.
Serienredakteur Van Rijsbergen, C. J.

Alle Titel von Amadio, Roberto M. (Universite de Provence) ansehen ( u. a. Gebundenes Buch und Taschenbuch )