Vertel uw vrienden over dit artikel:
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 1 april 1979 |
| ISBN13 | 9783540092377 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 136 |
| Afmetingen | 156 × 234 × 8 mm · 217 g |
| Taal en grammatica | Engels |
Bekijk alles van D. Harel ( bijv. Paperback Book )