本を探す
Scrapbox
書籍追加
|
本棚情報変更
|
名前変更/本棚削除
|
ヘルプ
|
ランダム
soutaro
の本棚
うちにある本を片っ端からと、実家にある本で面白かった本。
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
プログラム検証論 (情報数学講座)
林 晋
共立出版
ISBN: 4320026586
紀伊國屋
,
Amazon
,
WebCat
カテゴリ
評 価
コメント
@tk :
形式手法に関する数少ない入門書。
学生だけでなく,一般のソフトウェア技術者に対する配慮もなされてます。
他の本棚
Calculi
,
kuwa
,
@tk
,
tasario
最終
更新
: 2005-10-08 22:16:01 +0900
カテゴリ
評 価
コメント
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト