Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science - Amadio, Roberto M. (Universite de Provence) - Grāmatas - Cambridge University Press - 9780521622776 - 1998. gada 2. jūlijs
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Amadio, Roberto M. (Universite de Provence)
Domains and Lambda-Calculi - Cambridge Tracts in Theoretical Computer Science

Cena
€ 200,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 6. - 20. okt.
Saņemiet paziņojumus par jauniem Amadio, Roberto M. (Universite de Provence) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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.

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 1998. gada 2. jūlijs
ISBN13 9780521622776
Izdevēji Cambridge University Press
Lapas 504
Izmēri 236 × 159 × 37 mm   ·   890 g
Valoda Angļu  
Sērijas redaktors Abramsky, S.
Sērijas redaktors Aczel, P. H.
Sērijas redaktors Bakker, J. W. De
Sērijas redaktors Gurevich, Y.
Sērijas redaktors Tucker, J. V.
Sērijas redaktors Van Rijsbergen, C. J.

Vairāk no tā paša izdevēja

Skatīt visus Amadio, Roberto M. (Universite de Provence)