Prentice Hall International Series in Computer Science was a series of books on computer science published by Prentice Hall.[1]
The series' founding editor was Tony Hoare. Richard Bird subsequently took over editing the series.[2] Many of the books in the series have been in the area of formal methods in particular.
The following books were published in the series:[1][3]