Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164) - SuperDrive

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)

Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)

14.67 MiB

Download ready in 3s