Domains and Lambda-Calculi
3804 Kč
Sleva až 70% u třetiny knih
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
| Autor: | Amadio, Roberto M. (Universite de Provence); Curien, Pierre-Louis (Ecole Normale Superieure, Paris) |
| Nakladatel: | Cambridge University Press |
| ISBN: | 9780521622776 |
| Rok vydání: | 1998 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 504 |
Mohlo by se vám také líbit..
-
Cambridge Checkpoint Science Workbook 8
Hellyer-Jones, Rosemary
-
Cambridge Checkpoint Science Coursebo...
Hellyer-Jones, Rosemary
-
Professional English in Use Medicine
Glendinning Eric H.
-
The Comedy of Errors
Shakespeare, William
-
The Courts of the Deccan Sultanates
Flatt, Emma J. (University of North Carolina, Chapel Hill)
-
Creating the Nazi Marketplace
Wiesen, S. Jonathan (Southern Illinois University, Carbondale)
-
Business and Human Rights
-
Theory of Knowledge for the IB Diplom...
Heydorn, Wendy; Jesudason, Susan
-
The Winter's Tale
Shakespeare, William
-
Antony and Cleopatra
Shakespeare, William
-
The New Cambridge Companion to Shakes...
-
Iran\'s Reconstruction Jihad
Lob, Eric (Florida International University)
-
Something of Myself and Other Autobi...
Rudyard Kipling
-
Fasti Romani
Clinton, Henry Fynes
-
Britain's Declining Empire
Hyam, Ronald (University of Cambridge)
-
Women\'s Criminality in Europe,...