von D. Harel
Taschenbuch
ISBN: 978-3-540-09237-7
ISBN-10: 3-540-09237-4
Springer · 2008
|
|
von D. HarelTaschenbuch
ISBN: 978-3-540-09237-7 ISBN-10: 3-540-09237-4 Springer · 2008 |
| S. auch (eventuell von anderen Autoren): | ||
| 1979 | Paperback | First-Order Dynamic Logic (Lecture Notes in Computer Science) |