Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science - S. Abramsky - Livros - Oxford University Press - 9780198537809 - 4 de maio de 1995
Caso a capa e o título não sejam correspondentes, considere o título como correto

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science

Preço
R$ 3.038,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 24 de set - 6 de out
Receba avisos sobre novos lançamentos de S. Abramsky
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area.


666 pages, line figures

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 4 de maio de 1995
ISBN13 9780198537809
Editoras Oxford University Press
Páginas 666
Dimensões 161 × 241 × 40 mm   ·   1,12 kg
Idioma Inglês  
Editor Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)
Editor Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)
Editor Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine, University of London)

Mais por S. Abramsky

Mostrar tudo

Mais da mesma editora