
Tell your friends about this 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | February 1, 1984 |
ISBN13 | 9783540128960 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 531 |
Dimensions | 155 × 235 × 27 mm · 748 g |
Language | German |
Editor | Clarke, E. |
Editor | Kozen, D. |
See all of E Clarke ( e.g. Paperback Book )