Prentice Hall International Computer Scienceシリーズは、Prentice Hallによって出版されたコンピュータサイエンスに関する一連の書籍です。シリーズの創設編集者はTony Hoareだった。リチャード・バードはその後、シリーズの編集を引き継いだ。このシリーズの多くの書籍は、特に形式的な方法の分野に携わってきました。