Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 1979. gada 1. aprīlis |
| ISBN13 | 9783540092377 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 136 |
| Izmēri | 156 × 234 × 8 mm · 217 g |
| Valoda | Angļu |