Matemática

Games And Full Abstraction For A Functional Metalanguage With Recursive Types

de Guy Mccusker 

eBook
Bertrand.pt - Games And Full Abstraction For A Functional Metalanguage With Recursive Types
idioma: Inglês
Editor: SPRINGER LONDON
Edição: dezembro de 2012
10%
59,61€
Poupe 5,96€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

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).

Da mesma coleção

ver +
Games And Full Abstraction For A Functional Metalanguage With Recursive Types
20%
portes grátis
20% Cartão Leitor Bertrand
97,34€
Poupe 19,47€
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Inheritance Relationships For Disciplined Software Construction
20%
portes grátis
20% Cartão Leitor Bertrand
97,34€
Poupe 19,47€
SPRINGER LONDON LTD
Games And Full Abstraction For A Functional Metalanguage With Recursive Types
de Guy Mccusker 
ISBN:
9781447106159
Ano de edição:
12-2012
Editor:
SPRINGER LONDON
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Distinguished Dissertations
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

EAN:
9781447106159
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.