by: N. Y.) Logics of Programs Workshop (1981 Yorktown Heights · Dexter Kozen
Paperback
ISBN: 978-0-387-11212-1
ISBN-10: 0-387-11212-X
Springer Verlag · 1982
|
|
by: N. Y.) Logics of Programs Workshop (1981 Yorktown Heights · Dexter KozenPaperback
ISBN: 978-0-387-11212-1 ISBN-10: 0-387-11212-X Springer Verlag · 1982 |
| See also (possibly by other authors): | ||
| 1984 | Paperback | Logics of Programs: Lecture Notes in Computer Science (Lecture Notes in Computer Science, 164) |