Higher-Order Computability

de Dag Normann e John Longley 

Bertrand.pt - Higher-Order Computability
idioma: Inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Edição: agosto de 2016
Portes
Grátis
20%
189,25€
Poupe 37,85€ (20%) Cartão Leitor Bertrand

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations.

Da mesma coleção

Computable Structure Theory
20%
portes grátis
20% Cartão Leitor Bertrand
148,70€
Poupe 29,74€
Springer International Publishing AG
Restarting Automata
20%
portes grátis
20% Cartão Leitor Bertrand
243,33€
Poupe 48,67€
Springer International Publishing AG
Higher-Order Computability
de Dag Normann e John Longley 
ISBN:
9783662517116
Ano de edição:
08-2016
Editor:
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Idioma:
Inglês
Dimensões:
155 x 235 x 20 mm
Encadernação:
Capa mole
Páginas:
571
Tipo de Produto:
Livro
Classificação Temática:
EAN:
9783662517116
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.