形式手法を学ぶための書籍を 2012 年時点で手に入る書籍を中心にまとめたエントリ

t-wadat-wada のブックマーク 2014/02/12 20:28

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

2012年に形式手法を学び始めるならこの7冊 - masateruk’s blog

    前エントリー「僕が形式手法を学び始めたときに読んだ10冊 - masaterukの日記」のラインナップはあまりに入手困難なものばかりだったので、2012年に始めるならということで改めて選んでみた。 1冊目。 VDM++によ...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう