|
by Symposium on Logics of Programs and Their ApplicationsPaperback
ISBN: 978-0-387-11981-6 ISBN-10: 0-387-11981-7 Springer Verlag · 1983 |
| See also (possibly by other authors): | ||
| 2008 | Taschenbuch | Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science (148), Band 148) |