
Tell your friends about this item:
Axiomatising the Logic of Computer Programming - Lecture Notes in Computer Science 1982 edition
R. Goldblatt
Axiomatising the Logic of Computer Programming - Lecture Notes in Computer Science 1982 edition
R. Goldblatt
304 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | March 1, 1982 |
ISBN13 | 9783540112105 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 304 |
Dimensions | 156 × 234 × 17 mm · 449 g |
Language | English |
See all of R. Goldblatt ( e.g. Paperback Book )