Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Lecture Notes in Computer Science - Martin Abadi - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540633884 - 27 de agosto de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

Martin Abadi
Theoretical Aspects of Computer Software: Third International Symposium, Tacs'97, Sendai, Japan, September 23 - 26, 1997, Proceedings - Lecture Notes in Computer Science

Preço
NZ$ 189
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 28 de nov - 4 de dez
Presentes de Natal podem ser trocados até 31 de janeiro

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

These proceedings from the Third International Symposium on Theoretical Aspects of Computer Software, TACS '97, address the following topics: action calculi; polymorphisms; type theory; lambda calculi; refinement; finite transition systems; model checking; and process algebras.

648 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 27 de agosto de 1997
ISBN13 9783540633884
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 648
Dimensões 156 × 234 × 33 mm   ·   911 g
Idioma Alemão  
Editor Abadi, Martin
Editor Ito, T.
Mostrar tudo

Mais por Martin Abadi

Ver tudo de Martin Abadi ( por exemplo Paperback Book e Hardcover Book )