hondana.org
本を探す

 


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

Fms

プログラミング言語StandardML入門

大堀 淳
共立出版
ISBN: 4320120248  紀伊國屋, Amazon, WebCat
カテゴリ
評  価
コメント
cs : フォーマルメソッドの入り口。
@tk : これが関数型言語との出会いでした。TeXで論文調なところがまたいい。
他の本棚 p-his, cs, tanaka, it-main, rero, @tk

最終更新 : 2009-05-21 11:38:50 +0900
カテゴリ
評  価
コメント

Fms