- Pagina inicial /
- Livros /
- Computing & Internet /
- Programming /
- Software Design, Testing & Engineering /
- Functional Programming /
- Types & Programming Languages (The MIT Press)
0 ratings
Artigo n.º:
195904411
Types & Programming Languages (The MIT Press)
87% of respondents would recommend this to a friend
Artigo n.º:
195904411
XOF 75672
Detalhes do Preço
Excluindo custos de envio e alfandegários ( Os custos de envio e alfandegários serão calculados na finalização da compra )
*Todos os artigos serão importados de Reino Unido
50%
0 ratings
Escrever uma avaliação
Em stock
Importado da loja UK
Qtd.:
Restam apenas 7 artigos em stock.
Encomende já e receba por volta de Sunday, Outubro 18
Transação segura
A Ubuy trabalha arduamente para proteger a sua segurança e privacidade. O nosso sistema avançado de segurança de pagamentos garante a confidencialidade ao encriptar as suas informações durante a transmissão, utilizando os protocolos AES (Normas de Encriptação Avançada) e SSL (Camada de Sockets Seguros). Os seus dados de pagamento estão 100% seguros, pois não partilhamos os seus dados de pagamento com vendedores terceiros.
Os nossos principais Parceiros Logísticos
Fast
Shipping
Devolução
gratuita*
Embalagem Segura
Produtos 100% Originais
Certificação PCI DSS
Certificação ISO 27001
Detalhes do produto
- A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems-and of programming languages from a type-theoretic perspective-has important applications in software engineering, language design, high-performance compilers, and security. This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Each chapter is accompanied by numerous exercises and solutions, as well as a running implementation, available via the Web. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators. Extended case studies develop a variety of approaches to modeling the features of object-oriented languages.
| Publisher | MIT Press |
| Publication date | 5 Feb. 2002 |
| Edition | 1st |
| Language | English |
| Print length | 648 pages |
| ISBN-10 | 0262162091 |
| ISBN-13 | 978-0262162098 |
| Item weight | 1.31 kg |
| Dimensions | 23.88 x 20.62 x 3.61 cm |
DESCRIÇÃO DO PRODUTO
Tem alguma Dúvida? Converse connosco
Perguntas e respostas do cliente
-
Pergunta:
Como comprar Types & Programming Languages (The MIT Press) online na Ubuy?
Resposta: É fácil comprar Types & Programming Languages (The MIT Press) online na Ubuy.. Você só precisa procurar o produto, escolher a forma de envio na hora de finalizar a compra e receber no seu endereço. -
Pergunta:
Types & Programming Languages (The MIT Press) está disponível para compras online em Guinea-Bissau?
Resposta: Sim, na Ubuy Guinea-Bissau este produto está disponível para você comprar a um preço razoável.. O Types & Programming Languages (The MIT Press) não está disponível localmente, mas você pode confiar em nós com nossos serviços de remessa expressa. -
Pergunta:
Quanto tempo leva para receber o produto após fazer o pedido?
Resposta: O tempo de entrega do seu produto encomendado varia de acordo com o que você pediu e o método de envio que você escolheu.. O tempo estimado de entrega é mencionado durante o processo de checkout, portanto, fique despreocupado ao fazer compras.
Functional Programming Editorial Review
Nenhuma análise editorial encontrada
Avaliações e Classificações dos Clientes
95 classificações de clientes
-
5 Estrela
86%
-
4 Estrela
11%
-
3 Estrela
1%
-
2 Estrela
2%
-
1 Estrela
0%
Avaliar este produto
Partilhe as suas ideias com outros clientes
Histórico de preços do produto
Informação importante
- Limitações: para produtos expedidos internacionalmente, tenha em atenção que qualquer garantia do fabricante pode não ser válida; opções de serviço do fabricante podem não estar disponíveis; manuais de produtos, instruções e avisos de segurança podem não estar nas línguas do país de destino; os produtos (e materiais que o acompanham) pode não ter sido concebido em conformidade com as normas, especificações e requisitos de rotulagem do país de destino; e os produtos podem não estar em conformidade com a voltagem e outras normas elétricas do país de destino (requerendo assim o uso de um adaptador ou conversor caso seja apropriado). O destinatário é responsável por garantir que o produto pode ser legalmente importado para o país de destino. Quando encomenda à Ubuy ou aos seus afiliados, o destinatário é o importador de registo e deve estar em conformidade com todas as leis e regulamentos do país de destino.
- Nem todos os produtos listados na Ubuy estão à venda, uma vez que a Ubuy é um motor de busca global. Os produtos estão sujeitos a leis de exportação/comércio.
XOF 75672
Encomende já e receba por volta de Sunday, Outubro 18
Este artigo não está restrito no meu país. (Clique no link acima se este artigo não estiver restrito no seu país, para que a nossa equipa o analise e permita.)
Qtd.:
Restam apenas 7 artigos em stock.
Transação segura
Em conformidade com a norma PCI DSS e com certificação ISO 27001:2022, com pagamentos encriptados e proteção total do comprador em todas as encomendas.
Os nossos principais Parceiros Logísticos
Entrega internacional mais rápida
Ubuy Assurance
Experience worry-free shopping with 100% original products, PCI DSS-compliant payment security, ISO 27001-certified data protection, the fastest cross-border delivery, free returns *, and secure packaging on every order.