プレンティスホール国際コンピュータサイエンスシリーズ

プレンティス・ホール国際コンピュータ科学シリーズは、プレンティス・ホールが出版したコンピュータ科学に関する書籍シリーズである。^{[ 1 ]}

このシリーズの創刊編集者はトニー・ホーアでした。その後、リチャード・バードがシリーズの編集を引き継ぎました。^{[ 2 ]}このシリーズの書籍の多くは、特に形式手法の分野に属しています。

このシリーズでは以下の書籍が出版されました：^{[ 1 ] [ 3 ]}

• RS Bird、『Haskellを用いた関数型プログラミング入門』第2版、1998年。ISBN 0-13-484346-0。
• R.S.バードとO.デ・ムーア著『プログラミングの代数』、1996年。ISBN 0-13-507245-X（シリーズ第100巻）
• O.-J. ダール著、『検証可能なプログラミング』、1992年。ISBN 0-13-951062-1。
• D.M. ギャベイ著、『初等論理学：手続き的視点』、1998年。ISBN 0-13-726365-1。
• IJ Hayes (編) 『仕様事例研究』第2版、1993年。ISBN 0-13-832544-8。
• M.G. HincheyおよびJ.P. Bowen編『形式手法の応用』、1996 年。ISBN 0-13-366949-1。
• CAR Hoare、『Communicating Sequential Processes』、1985年。ISBN 0-13-153271-5ハードカバーまたはISBN 0-13-153289-8ペーパーバック。
• CAR Hoare およびMJC Gordon、『機械化された推論とハードウェア設計』、1998 年。ISBN 0-13-572405-8。
• CAR HoareとHe Jifeng、『プログラミングの統一理論』、1998年。ISBN 0-13-458761-8。
• INMOS Limited、『Occam 2リファレンスマニュアル』、1988年。ISBN 0-13-629312-3。
• クリフ・ジョーンズ著、『VDMを用いた体系的なソフトウェア開発』、1986年。ISBN 0-13-880725-6ハードカバーまたはISBN 0-13-880717-5ペーパーバック。
• M. ジョセフ編『リアルタイムシステム：仕様、検証、分析』1996年。ISBN 0-13-455297-0。
• ベルトラン・メイヤー著、『オブジェクト指向ソフトウェア構築』（初版のみ）。
• ロビン・ミルナー著『通信と並行性』、1989年。ISBN 0-13-115007-3（ペーパーバック版の場合）
• CC モーガン著、『仕様からのプログラミング』第2版、1994年。ISBN 0-13-123274-6。
• P.N.ニッサンケ著、『リアルタイムシステム』、1997年。ISBN 0-13-651274-7。
• B. ポッター、J. シンクレア、D. ティル著、『形式仕様と Z 入門』第 2 版、1996 年。ISBN 0-13-242207-7。
• AWロスコー編『古典的精神：CARホア教授を記念するエッセイ集』1994年。ISBN 0-13-294844-3。
• AW Roscoe、『並行処理の理論と実践』、1997年。ISBN 0-13-674409-5。
• JM Spivey著、『Z表記法：リファレンスマニュアル』第2版、1992年。ISBN 0-13-978529-9。
• JCP Woodcockおよび JW Davies、『Z の使用: 仕様、改良、および証明』、1996 年。ISBN 0-13-948472-8。