プログラム理論
計算機のプログラムに関する理論的方法を記述した最初の成書。情報工学，ソフトウェア技術に携わる人達に新しい理論と手法を提供。〔内容〕プログラムの表現法・正当性・意味論・自動作成・代数的手法ほか
- 発行年月日
- 1975/02/28
- 判型
- A5
- ページ数
- 288ページ
- ISBN
- 978-4-339-02220-9
- 内容紹介
計算機のプログラムに関する理論的方法を記述した最初の成書。情報工学，ソフトウェア技術に携わる人達に新しい理論と手法を提供。〔内容〕プログラムの表現法・正当性・意味論・自動作成・代数的手法ほか
