サクサク読めて、アプリ限定の機能も多数!
形式手法を学ぶための書籍を 2012 年時点で手に入る書籍を中心にまとめたエントリ
t-wada のブックマーク 2014/02/12 20:28
2012年に形式手法を学び始めるならこの7冊 - masateruk’s blog[programming][design][theory]形式手法を学ぶための書籍を 2012 年時点で手に入る書籍を中心にまとめたエントリ2014/02/12 20:28
このブックマークにはスターがありません。 最初のスターをつけてみよう!
masateruk.hatenablog.com2012/10/05
前エントリー「僕が形式手法を学び始めたときに読んだ10冊 - masaterukの日記」のラインナップはあまりに入手困難なものばかりだったので、2012年に始めるならということで改めて選んでみた。 1冊目。 VDM++によ...
26 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
形式手法を学ぶための書籍を 2012 年時点で手に入る書籍を中心にまとめたエントリ
t-wada のブックマーク 2014/02/12 20:28
このブックマークにはスターがありません。
最初のスターをつけてみよう!
2012年に形式手法を学び始めるならこの7冊 - masateruk’s blog
masateruk.hatenablog.com2012/10/05
前エントリー「僕が形式手法を学び始めたときに読んだ10冊 - masaterukの日記」のラインナップはあまりに入手困難なものばかりだったので、2012年に始めるならということで改めて選んでみた。 1冊目。 VDM++によ...
26 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /