
Conte aos seus amigos sobre este item:
Computer Science Logic: 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997, Selected Papers - Lecture Notes in Computer Science
W Thomas
Computer Science Logic: 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997, Selected Papers - Lecture Notes in Computer Science
W Thomas
This text contains 26 revised papers from an international workshop on computer science logic. The papers address all aspects of computer science logics and its applications.
520 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 20 de maio de 1998 |
ISBN13 | 9783540645702 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 520 |
Dimensões | 156 × 234 × 27 mm · 730 g |
Idioma | German |
Editor | Nielsen, Mogens |
Editor | Thomas, Wolfgang |