
Conte aos seus amigos sobre este item:
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 - Lecture Notes in Computer Science 1984 edition
E Clarke
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 - Lecture Notes in Computer Science 1984 edition
E Clarke
531 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 1 de fevereiro de 1984 |
ISBN13 | 9783540128960 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 531 |
Dimensões | 155 × 235 × 27 mm · 748 g |
Idioma | German |
Editor | Clarke, E. |
Editor | Kozen, D. |
Ver tudo de E Clarke ( por exemplo Paperback Book )