プレンティス・ホール国際コンピュータサイエンスシリーズは、プレンティス・ホールが発行したコンピュータサイエンスに関する書籍シリーズである。[1]
このシリーズの初版編集者はトニー・ホーアでした。その後、リチャード・バードが編集を引き継ぎました。[2]このシリーズの書籍の多くは、特に 形式手法の分野に関するものです。
選書
このシリーズでは以下の書籍が出版された: [1] [3]
- RS Bird、『Haskellを使った関数型プログラミング入門』第2版、1998年。ISBN 0-13-484346-0。
- RS BirdとO. de Moor著『プログラミングの代数』1996年。ISBN 0-13-507245-X（シリーズ第100巻）
- O.-J. Dahl著『検証可能プログラミング』 1992年、ISBN 0-13-951062-1。
- DM Gabbay著『Elementary Logics: A Procedural Perspective』1998年、ISBN 0-13-726365-1。
- IJ Hayes（編）、仕様ケーススタディ、第2版、1993年。ISBN 0-13-832544-8。
- MG HincheyとJP 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著『Unifying Theories of Programming』、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. Joseph（編）、『リアルタイムシステム：仕様、検証、分析』、1996年。ISBN 0-13-455297-0。
- Bertrand Meyer 著、『オブジェクト指向ソフトウェア構築』（初版のみ）。
- ロビン・ミルナー著『コミュニケーションと並行性』 1989年、ISBN 0-13-115007-3（ペーパーバック版）。
- CC Morgan、『仕様からのプログラミング』、第2版、1994年。ISBN 0-13-123274-6。
- PN Nissanke, Realtime Systems , 1997. ISBN 0-13-651274-7。
- B. Potter、J. Sinclair、D. Till著『形式仕様とZ入門』第2版、1996年。ISBN 0-13-242207-7。
- AW Roscoe（編）『A Classical Mind: Essays in Honour of CAR Hoare』、1994年。ISBN 0-13-294844-3。
- AW Roscoe著『並行性の理論と実践』 1997年、ISBN 0-13-674409-5。
- JM Spivey , The Z Notation : A Reference Manual , 第2版, 1992年. ISBN 0-13-978529-9。
- JCP Woodcockと JW Davies著『Zの使用：仕様、洗練、証明』1996年。ISBN 0-13-948472-8。
参考文献
  | この記事はコンピュータ関連の書籍または書籍シリーズに関するものです。この記事を拡張することで、Wikipedia に貢献できます。 |