by David Harel
Paperback
ISBN: 978-0-387-09237-9
ISBN-10: 0-387-09237-4
Springer Verlag · 1979
|
|
by David HarelPaperback
ISBN: 978-0-387-09237-9 ISBN-10: 0-387-09237-4 Springer Verlag · 1979 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | First-Order Dynamic Logic (Lecture Notes in Computer Science (68), Band 68) |