by David Harel
Paperback
ISBN: 978-0-262-52766-8
ISBN-10: 0-262-52766-9
MIT Press · 2000
|
|
by David HarelPaperback
ISBN: 978-0-262-52766-8 ISBN-10: 0-262-52766-9 MIT Press · 2000 |
| See also: | ||
| 2000 | Hardcover | Dynamic Logic (Foundations of Computing) |
| 2000 | Printed Access Code | Dynamic Logic (Foundations of Computing) |