
Tell your friends about this item:
Logics of Programs: Workshop, Yorktown Heights, NY, USA - Lecture Notes in Computer Science 1982 edition
D Kozen
Logics of Programs: Workshop, Yorktown Heights, NY, USA - Lecture Notes in Computer Science 1982 edition
D Kozen
With contributions by nummerous experts
429 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | March 1, 1982 |
ISBN13 | 9783540112129 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 429 |
Dimensions | 170 × 250 × 22 mm · 612 g |
Language | French |
Editor | Kozen, D. |