Linguística e Filologia

A Paradigm For Program Semantics

Power Structures And Duality

de Ingrid Rewitsky e Chris Brink 

Bertrand.pt - A Paradigm For Program Semantics
idioma: Inglês
Editor: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Edição: setembro de 2001
31,09€
Esgotado ou não disponível
RESERVAR NA LIVRARIA Livrarias

This text provides a synthesis of four versions of program semantics - relational semantics, predicate transformer semantics, information systems and domain theory - showing that is is possible to do back-and-forth translation from any of these versions of program semantics into any of the others.

A Paradigm For Program Semantics
Power Structures And Duality
de Ingrid Rewitsky e Chris Brink 
ISBN:
9781575863443
Ano de edição:
09-2001
Editor:
CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Idioma:
Inglês
Dimensões:
16 x 23 x 2 mm
Encadernação:
Capa mole
Páginas:
286
Tipo de Produto:
Livro
Coleção:
Studies In Logic, Language & Information
Classificação Temática:
Livros  >  Livros em Inglês  >  Literatura  >  Linguística e Filologia

Livros  >  Livros em Inglês  >  Outros

EAN:
9781575863443

Dos mesmos autores

The Little Book Of Numbers
20%
portes grátis
20% Cartão Leitor Bertrand
31,08€
Poupe 6,22€
Springer Nature Switzerland AG
The Soul Of A University
19,30€
Bristol University Press
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.