Verifiable Programming (Prentice-hall International Series in Computer Science)

Semantics of Programming Languages (Prentice-Hall International Series in Co...

Prentice Hall Series in Automatic Computation: Spline Analysis Shultz 1973 HCDJ

Theories of abstract automata (Prentice-Hall series in automatic computation)

Systems Programming With Modula-3 (Prentice Hall Series in Inn...

A compiler generator (Prentice-Hall series in automatic computation) by mckeeman

Program design and construction David A. Higgins Prentice Hall Basic Programming

THE CRAFT OF PROGRAMMING (PRENTICE-HALL INTERNATIONAL By John C. Reynolds