
Conte aos seus amigos sobre este 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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 1 de março de 1982 |
ISBN13 | 9783540112105 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 304 |
Dimensões | 156 × 234 × 17 mm · 449 g |
Idioma | English |
Ver tudo de R. Goldblatt ( por exemplo Paperback Book )