Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)

Proceedings

by Symposium on Logics of Programs and Their Applications

Paperback

ISBN: 978-0-387-11981-6

ISBN-10: 0-387-11981-7

Springer Verlag · 1983

See also (possibly by other authors):
2008TaschenbuchLogics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science (148), Band 148)