Lecture Notes in Computer Science: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983

Clarke, E.; Kozen, D.

Details

Published by: Springer

Publication Date: 1984-02-01

Format: Paperback

ISBN-13: 9783540128960

DOI: 10.1007/3-540-12896-4

Dimensions: 235cm x155cm

Pages: 531