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
WWpaSVpqTTRXbHA2Um5oV2EybEtWa1l4VUVKa1luUllLMFJKT1ZwWFl6WjZTbVJtZERWUlRrNTFkQzlYUlRSclYwRkdOVmxOWVhCbWQxSk5kVkY1ZEVKemVYcHViR0pOZERGRlMxSTRjazFGYldWclFrVXJhMUp6VlVwelExaEZNbW8yVlZGU1ZFRk9UbVJuVmpNeE1WaDJOMGxoVlV4NWQwUlBMM0J3TlRCWGRtaFNiVXhMZHpCbFZUVkROSEI0YUhoamRrbGpUVnBtYW5GR01HODNVME42WkhoSk4yNDFVbVprZW1KRVlWUjFaVTk2YnpocVRtTnNOVWh3ZHpORU0zTm5NMjFoVVhsS1RGRlBkVXhvVDA1allrOW1RMlZKVVhSWE9HSlhXVW8zU2pkU2VURlpURmhYU2pKc0wyTkpXSFZZUzFGdE1FVk9lWHAwTUdkUU5EZE5XRTB6VjNGaFptazVRbGhPZEVVeGFEZElUQ3RVYm5WaVlWaFNNRVExT0RCdVJ6aDFRV3hJU1RBMVVrZHlaVTFLTVZKVWRDOXZlRzVVVlZOWWJrOUdXakZHUzI5bFNsRmxVQ3N3VG5oTk1qQXZPVW92UzA0eFVHZ3pUVlZwWkROMU9IWmxXamxrYjBzclFYUjRNREo0YjBac1RYQlVNVmRyZWxCMFVteDFRbFZrWlZsdlNGUmhhMmxUU1RoWFMxaEpSMjR3ZDNsU1pVUmhTV2w1ZGk5V1ExTmFMek5zZEZKMVdrVmtjSEJwU0dwb1FqVjZUbnBMTmt0VWVtaHhjVVZQWms5NmFVNHlSbmxwWTBvMFJUbGxSMjlCUzBNeGNHNHdXRkZQZDNwRU9XZExRbFprVVRZMFVXaEVNWHBsT0VoM1drTkVWVFE0YVU5M1NrZFFZamMyYVVVeU9EUlFhRTFEWm5aa09WTkVUbko0V0hFNGJWSjBObk5DTW1SNGIySXJSRWx2TkhodWNGSTVXU3Q1VVU1WmRtdDNaeXRaYm10T1FsUlhjMFZ3U21KTWRHNHJOM0JoUWl0dlNqbHRUSEV2UzJ4cmFVRmpNV1I0ZWxVd2EyVlJTVzA1VERkTUwxaGtiek5qTDBrdk5rOVFNa3RSTVZjMFVUWkpTSEpIVHpaUGJWRk5aUzlJVm5ndlIxaFNlRFpVTTNnclpqTndhblpRUzFsMmMzTnJaSFZ6WkZoMVNGZGhjbVEyT0hkNGVtNUNObTlSTXpCMGFYbFhPRlV5UW1ZMGJURXpZM0ZhTDAwMFpubHNiMlZaYm5SRlQyNXlXVmcyYkZWbmQwMHJSRm8zZGxweVVIZ3dRVUUwUFE9PTozZmx5Sy9nS2VhUnlkYVQ2QmRlQjBRPT0=
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 |
| Formato e Compatibilidade: | PDF para ADE |
| 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
-
Games And Full Abstraction For A Functional Metalanguage With Recursive Types10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARTÃOportes grátis
-
Inheritance Relationships For Disciplined Software Construction10%SPRINGER LONDON LTD97,34€ 10% CARTÃOportes grátis
-
Games And Full Abstraction For A Functional Metalanguage With Recursive Types10%SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG97,34€ 10% CARTÃOportes grátis