Tell your friends about this 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
| 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. |