Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science - Dirk Van Dalen - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783540631729 - 18 de junho de 1997
Caso a capa e o título não sejam correspondentes, considere o título como correto

Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science

Dirk Van Dalen

Preço
Fr. 44,99
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de jul
Adicione à sua lista de desejos do iMusic

Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers - Lecture Notes in Computer Science

Representing the post-workshop proceedings of the 10th International Workshop on Computer Science Logic held in 1996, this volume comprises 26 revised full papers. It addresses issues in the area of computer science logic research.


479 pages, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 18 de junho de 1997
ISBN13 9783540631729
Editoras Springer-Verlag Berlin and Heidelberg Gm
Páginas 479
Dimensões 156 × 234 × 24 mm   ·   675 g
Idioma German  
Editor Bezem, Marc
Editor Dalen, Dirk Van

Mostrar tudo

Mais por Dirk Van Dalen