Logics of Programs
Subtitle: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983
Publisher: Springer
Published: Feb 01, 1984
Format: paperback
Number of pages: 537
ISBN-13: 9783540128960
Notes: Source title: Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science (164))