hondana.org
本を探す

 


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

Fms

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

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

最終更新 : 2011-11-20 14:51:02 +0900
カテゴリ
評  価
コメント

Fms