Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983
Format: paperback
ISBN:
9783540128960 (3540128964)
Publish date: February 1st 1984
Publisher: Springer, 531 pages, Paperback" />
Pages no: 531
Edition language: English