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] This article about a computer book or series of books is a stub.