A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information - Chris Brink - Livros - Centre for the Study of Language & Infor - 9781575863443 - 1 de setembro de 2001
Caso a capa e o título não sejam correspondentes, considere o título como correto

Chris Brink
A Paradigm for Program Semantics: Power Structures and Duality - Studies in Logic, Language & Information 1º edição

Receba um e-mail quando o item estiver disponível
Você tem um perfil? Entrar

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

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.

286 pages

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 1 de setembro de 2001
ISBN13 9781575863443
Editoras Centre for the Study of Language & Infor
Páginas 286
Dimensões 150 × 220 × 10 mm   ·   397 g
Idioma Inglês  

Mais por Chris Brink

Mostrar tudo

Mere med samme udgiver

Ver tudo de Chris Brink ( por exemplo Paperback Book e Hardcover Book )