丸善のおすすめ度
Constructive Logics for Program Correctness
Takayasu Ito
著
発行年月 |
2012年01月 |
---|
|
|
言語 |
英語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
11p,304p |
---|
大きさ |
26cm |
---|
|
ジャンル |
和書/理工学/情報学/プログラミング |
---|
|
|
ISBN |
9784863451469 |
---|
|
商品コード |
1012109298 |
---|
NDC分類 |
007.64 |
---|
|
|
本の性格 |
学術書 |
---|
|
新刊案内掲載月 |
2013年01月3週 |
---|
|
商品URL
| https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1012109298 |
---|
内容
プログラムの正当性は、プログラムに関する理論だけでなく、コンピューター・ソフトウェアに関する理論および実践においても基本かつ重要な概念のうちの1つである。プログラムの正当性のための構成的論理について解説する。