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

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