Powiedz znajomym o tym przedmiocie:
First-order Dynamic Logic - Lecture Notes in Computer Science D. Harel 1979 edition
First-order Dynamic Logic - Lecture Notes in Computer Science
D. Harel
136 pages, biography
| Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
| Wydane | 1 kwietnia 1979 |
| ISBN13 | 9783540092377 |
| Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
| Strony | 136 |
| Wymiary | 156 × 234 × 8 mm · 217 g |
| Język | Angielski |
Zobacz wszystko od D. Harel ( np. Paperback Book )