|
|
プログラム検証論 (情報数学講座)
|
|
林 晋
共立出版
ISBN: 4320026586
紀伊國屋,
Amazon,
WebCat
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
@tk :
|
形式手法に関する数少ない入門書。
学生だけでなく，一般のソフトウェア技術者に対する配慮もなされてます。
|
|
| 他の本棚 |
Calculi, soutaro, kuwa, tasario
|
最終更新 : 2005-08-01 20:12:38 +0900
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
|
|
 大崎公園
披露山公園
源氏山公園
しおさい公園
城ヶ島公園
 真鶴
逗子
熱海
下田
伊東
|
