by: David Harel · Dexter Kozen · Jerzy Tiuryn
Hardcover
ISBN: 978-0-262-08289-1
ISBN-10: 0-262-08289-6
The MIT Press · 2000
|
|
by: David Harel · Dexter Kozen · Jerzy TiurynHardcover
ISBN: 978-0-262-08289-1 ISBN-10: 0-262-08289-6 The MIT Press · 2000 |
| See also: | ||
| 2000 | Paperback | Dynamic Logic (Foundations of Computing) |
| 2000 | Printed Access Code | Dynamic Logic (Foundations of Computing) |