Lecture Notes in Computer Science: A Mechanized Logic of Computation

Gordon, M.; Milner, R.; Wadsworth, C.P.

Details

Published by: Springer

Publication Date: 1979-12-01

Format: Paperback

ISBN-13: 9783540097242

DOI: 10.1007/3-540-09724-4

Dimensions: 235cm x155cm

Pages: 161