
Conte aos seus amigos sobre este item:
First-order Dynamic Logic - Lecture Notes in Computer Science 1979 edition
D. Harel
First-order Dynamic Logic - Lecture Notes in Computer Science 1979 edition
D. Harel
136 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 1 de abril de 1979 |
ISBN13 | 9783540092377 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 136 |
Dimensões | 156 × 234 × 8 mm · 217 g |
Idioma | English |
Ver tudo de D. Harel ( por exemplo Paperback Book )