hondana.org
本を探す

 


Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms

プログラム検証論 (情報数学講座)

林 晋
共立出版
ISBN: 4320026586  紀伊國屋, Amazon, WebCat
カテゴリ
評  価
コメント
@tk : 形式手法に関する数少ない入門書。
学生だけでなく,一般のソフトウェア技術者に対する配慮もなされてます。
他の本棚 Calculi, kuwa, @tk, tasario

最終更新 : 2005-10-08 22:16:01 +0900
カテゴリ
評  価
コメント

Fms