adicionar à lista de desejos
Games And Full Abstraction For A Functional Metalanguage With Recursive Types eBook
idioma: inglês
Editor:
SPRINGER LONDON, dezembro de 2012 ‧
ver detalhes do produto
59,61€
10% DESCONTO
CARTÃO
UTNacFZtOWthRk5sUVZnd1QxZGhNbVpvVEZwUWJ6ZDFWbGhKWWxoeU5FRmxiMUoyVUM4Mk5XbHViVkpwUWpSSFIzWldUakpzVjI1d1QwNXFWM0ZXTURjNWQwczNZWG96V2xGQ05qRkllbkZCYlRSNVdtTjVVRGM0THpKbVdGaDVORVZGUXpjeGNsRlVWVEo1T1dWT05USnBXVlpuVFZOWk9FOVdSbnBsZDNWd2VEUnZibVV5VERoa05teHFiRWgzWTNRMmFqZzRXbGxTZEc1a00xWm5UVGRLTUZkSk5XNDFSamxrYzA4eVptNUJlRVJXYmxOeWQwTlBTbFpNTURrNVJrOXpPRGhMVW5nMlpFNDVOSGxwU3poQk9EazRNRTlQWkRoWVRFRlJjVGN3YWxsSlNXVk1OM2R4Tm5wYWJreE9kRkYzUldOTVVHcGhXV3RUTWxGbVVHNWhlRGx2VWsxeWJHMVNiMUYwZVVwcFUzaG5VMVp3UkVWMFFtd3lSSEZLVUdVMUswRXlXRlIwT1ZwelJFTlNOVVZzT0RoM1pqWjZkM2RyTmpkS00yRlFiVmM1VVRCdlNteDNWemx1WkhCaVNXUlhialI2VDNOamJqVXhjVEJNZUVsYVducFRPRFZ2Y21SamVVUnZWakJ4UmtGa2R6UnBlbEJSUkZaUmVsRlpNMVpCVm1JMk5VeEdNelZhYVUxbUwxaEZTRzVsUkdoelNVcEVSRkE1T0hCWU1qVjBaMVF4TUdaU05ESm9XSE4xU1VkYVMzaEJXVTB6V2sxdE9IVXlVMHhZZUhKdWFsb3hjR2xaWTNkVE5XUlhNbUZWUXpsc09VSlVTRGxKT0N0dGRsZDRNM05qTlROQllqWnBMMWRWVEZGb2NEQXZkSFZKTTJWS1NYTk5aR3hoVG1neVpGWnRkMmhrWWxkUFEwTjVNRzg1ZG5kMFYzSnlPSFZyY0VzeGFXVTRSbVppVDFCRE9XeFZTMUIzWjJWdVIwOU1jbU5aVFhSR016WkhhWFJ3UkdRNFVqbGFhMU53VFVGdFkxSnlaVlJUUTA4eGJFOVhhWEJHVnpCamRHdERWbEI1TkRkalNESkZlRWRYY2pCRk1sa3ZhV3hWZUV0WGRVRjBSak5hUmxScVVTOUNRbHBxYUVWdmJGRnNNREExWjBkMU4xRmpTV3h2V1ZaVmVXMUROMFpYWm5relJHeENVM2RxYkVkVU5FcEJaMXBEZEU5VVMwaGhWMGQ0VlRSQlRrNDFVVWxIU21kblJUWXZNVzFvWW5Kd2J5dHNNVzgxZURoeWJuTlVSR0pRWkZWNWVtYzRhSHByUFE9PTorK0NNUW5rWWZqTk1vYldEazNTUSt3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
In particular, fully abstract models have been found for various kinds of languages with local variables (8,13-16), and a fully complete games model of the polymorphic language System F has been constructed by Hughes (59).
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781447106159 |
| Editor: | SPRINGER LONDON |
| Data de Lançamento: | dezembro de 2012 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Coleção: | Distinguished Dissertations |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781447106159 |
LIVROS DA MESMA COLEÇÃO
-
10%Games And Full Abstraction For A Functional Metalanguage With Recursive TypesSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARTÃOportes grátis
-
10%Inheritance Relationships For Disciplined Software ConstructionSPRINGER LONDON LTD97,34€ 10% CARTÃOportes grátis
-
10%Games And Full Abstraction For A Functional Metalanguage With Recursive TypesSPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARTÃOportes grátis