| Logics of Programs and Their Applications Proceedings, Poznan, August 1980 | | Editor:
| Salwicki, A. | Series title: | Lecture Notes in Computer Science Ser. | ISBN: | 978-3-540-11981-4 | Publication Date: | Jan 1983 | Publisher: | Springer Berlin / Heidelberg
| Imprint: | Springer | Book Format: | Paperback | List Price: | USD $39.99 |
| |