von A. SalwickiTaschenbuch
ISBN-13: 978-3-540-11981-4 ISBN-10: 3-540-11981-7 Springer · 2008 |
Siehe auch (möglicherweise von anderen Autoren): | ||
1983 | Paperback | Logics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148) |