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

Proceedings

von A. Salwicki

Taschenbuch

ISBN-13: 978-3-540-11981-4

ISBN-10: 3-540-11981-7

Springer · 2008

Siehe auch (möglicherweise von anderen Autoren):
1983PaperbackLogics of Programs and Their Applications: Proceedings, Poznan, August 23-29, 1980 (Lecture Notes in Computer Science, 148)