Books listed by ISBN
>
Springer
> Symposium on Logics of Programs and Their Applications
Symposium on Logics of Programs and Their Applications
S. L.
ยท
S.O.
title
ISBN-13
(ISBN-10)
year of publication
Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980
978-O-387-11981-6
(O-387-11981-7)
1983
Symposium on Mathematical Foundations of Computer Science