Logics of Programs: Workshop, Yorktown Heights, NY, USA, May 1981 (Lecture Notes in Computer Science)

D. Kozen / Springer 1982
429 pp., Paperback, ex library, spine and joints worn, else text clean and binding tight. Volumes Included: 1

ISBN: 354011212X
Subject/Keywords: computer logic

Item #: 695768

$15.26

Add To Cart