by Logics of Programs Workshop (1983 Carnegie Mellon University)
Paperback
ISBN: 978-0-387-12896-2
ISBN-10: 0-387-12896-4
Springer Verlag · 1984
|
|
by Logics of Programs Workshop (1983 Carnegie Mellon University)Paperback
ISBN: 978-0-387-12896-2 ISBN-10: 0-387-12896-4 Springer Verlag · 1984 |
| See also (possibly by other authors): | ||
| 1982 | Paperback | Logics of Programs: Lecture Notes in Computer Science (Lecture Notes in Computer Science, 131) |