Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science - Amadio, Roberto M. (Universite de Provence) - Kirjat - Cambridge University Press - 9780521622776 - torstai 2. heinäkuuta 1998
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Amadio, Roberto M. (Universite de Provence)

Hinta
€ 194,49

Tilattu etävarastosta

Arvioitu toimitus pe - ti 14. - 25. maalis

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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.

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 2. heinäkuuta 1998
ISBN13 9780521622776
Tuottaja Cambridge University Press
Sivujen määrä 504
Mitta 236 × 159 × 37 mm   ·   890 g
Sarjaohjaaja Abramsky, S.
Sarjaohjaaja Aczel, P. H.
Sarjaohjaaja Bakker, J. W. De
Sarjaohjaaja Gurevich, Y.
Sarjaohjaaja Tucker, J. V.
Sarjaohjaaja Van Rijsbergen, C. J.

Katso kaikki joka sisältää Amadio, Roberto M. (Universite de Provence) ( Esim. Paperback Book Ja Hardcover Book )