Program Proofs, Leino, K. Rustan M., Excellent Book
Authors : Leino, K. Rustan M. Program Proofs. Title : Program Proofs. Product Category : Books. Binding : paperback. LIKE NEW! Has a red or black remainder mark on bottom/exterior edge of pages. List Price (MSRP) : 70.00.