Bブック
 2005年版ペーパーバックの表紙 | |
| 著者 | ジャン＝レイモンド・アブリアル |
|---|---|
| 言語 | 英語 |
| 主題 | コンピュータサイエンスプログラミング言語応用論理学 |
| ジャンル | ノンフィクション |
| 出版社 | ケンブリッジ大学出版局 |
発行日 | 1996年/2005年/2010年 |
| 出版場所 | イギリス |
| メディアタイプ | ハードカバー、ペーパーバック、電子書籍 |
| ページ | xxxiv+779 |
| ISBN | 0 521 49619 5 |
| OCLC | 63202590 |
| 005.1 | |
| LCクラス | 2006275990 |
B-Bookは、ジャン＝レイモンド・アブリアルによる、ソフトウェア開発における形式手法アプローチであるBメソッドに関する書籍です。アブリアルは、もともと彼自身が考案したものです。1996年にケンブリッジ大学出版局から出版されました。ハードカバー版（ ISBN 0-503-5232-0000）で入手可能です。 978-0521496193、1996年）、ペーパーバック（ISBN 978-0521021753、2005年）[ 1 ]および電子書籍（ISBN 978-0511624162, doi : 10.1017/CBO9780511624162 , 2010). [ 2 ]
本書には、 CAR Hoareによる賛辞と、 GEC-ALSTHOM TransportのPierre Chapronによる序文が掲載されています。本書の第1部は数学、第2部は抽象機械、第3部はプログラミング、第4部は改良について扱っています。また、6つの付録と索引も含まれています。本書はThe Computer Journal [ 3 ]とThe Times Higher Education Supplement [ 4 ]でレビューされました。
参照
参考文献
- ^ 「The B-Book」ケンブリッジ大学出版局、2005年11月。 2025年6月4日閲覧。
- ^ 「The B-Book」ケンブリッジ大学出版局2010年1月2025年6月4日閲覧。
- ^バトラー、マイケル(1997年1月). 「書評 – B-Book: プログラムに意味を割り当てる」 .コンピュータジャーナル. 40 (1): 59–61 . doi : 10.1093/comjnl/40.1.59 .
- ^ Bowen, Jonathan P. (1997年2月14日). 「B-hold the Future of Software Development」 . The Times Higher Education Supplement . 第1267巻第30号. 英国. 2008年5月13日時点のオリジナルよりアーカイブ。 2008年5月13日閲覧。マルチメディア コンピュータ ブック。
外部リンク
 | このコンピュータサイエンスの記事はスタブです。不足している情報を追加してWikipediaに貢献してください。 |
 | 数学出版物に関するこの記事はスタブです。不足している情報を追加することで、Wikipedia に貢献できます。 |
