Povej prijatelju o tem izdelku:
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
| Medij | Knjige Paperback Book (Knjiga z mehkimi platnicami in lepljenim hrbtom) |
| Izdano | 1. aprila 1979 |
| ISBN13 | 9783540092377 |
| Založniki | Springer-Verlag Berlin and Heidelberg Gm |
| Strani | 136 |
| Dimenzije | 156 × 234 × 8 mm · 217 g |
| Jezik | Angleščina |