
Vertel uw vrienden over dit artikel:
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
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 )