A programming logic: With an introduction to the PL/CV verifier - Softcover

Constable, R. L

 
9780876267264: A programming logic: With an introduction to the PL/CV verifier

Synopsis

Hard cover book in good to vg condition (blk/gld). We ship worldwide from San Francisco bay area.

"synopsis" may belong to another edition of this title.