Logic for Concurrency and Synchronisation - Trends in Logic - Ruy J G B De Queiroz - Livros - Kluwer Academic Publishers - 9781402012709 - 31 de maio de 2003
Caso a capa e o título não sejam correspondentes, considere o título como correto

Ruy J G B De Queiroz
Logic for Concurrency and Synchronisation - Trends in Logic

Preço
R$ 658,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 25 de set - 7 de out
Receba avisos sobre novos lançamentos de Ruy J G B De Queiroz

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

Ainda não avaliado

The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades. This book shows the investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. It offers glimpses of integration with obvious links including modal logics for proof graphs.

285 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 31 de maio de 2003
ISBN13 9781402012709
Editoras Kluwer Academic Publishers
Páginas 285
Dimensões 156 × 234 × 19 mm   ·   621 g
Editor De Queiroz, R. J.

Mais da mesma editora

Ver tudo de Ruy J G B De Queiroz