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

12.35 MiB

Download ready in 3s