Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science - Anil Nerode - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540557074 - 24 de junho de 1992
Caso a capa e o título não sejam correspondentes, considere o título como correto

Anil Nerode

Logical Foundations of Computer Science - Tver '92: Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings (Tver 92, Second International Symposium, Tver, Russia, July 20-24, 1992 - Proceedings) - Lecture Notes in Computer Science

Preço
₪ 189,74

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 1 - 9 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

The papers in this volume were selected for the Symposium Logic, held at Tver in July 1992. The text provides information on the state of computer science research in the former Soviet Union and presents important discoveries in the field of logical foundations of computer science.

517 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 24 de junho de 1992
ISBN13 9783540557074
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 517
Dimensões 155 × 233 × 27 mm   ·   734 g
Idioma Alemão  
Editor Nerode, Anil
Editor Taitslin, Mikhail
Mostrar tudo

Mais por Anil Nerode

Ver tudo de Anil Nerode ( por exemplo Paperback Book e Hardcover Book )