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 E Clarke 1984 edition
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 - Lecture Notes in Computer Science
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 | Alemão |
| Editor | Clarke, E. |
| Editor | Kozen, D. |