Axiomatising the Logic of Computer Programming (Lecture Notes in Computer Science, 130)

Goldblatt, R. / Springer 1982
First edition, first printing, 317 pp., paperback, fine. Volumes Included: 1

ISBN: 3540112103
Subject/Keywords: Computer Programming tl4

Item #: 1307051

$6.39

Add To Cart