商品詳細 | Knowledge Worker

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

絶版
価格 \3,520（税込）

発行年月	1995年09月
出版社／提供元	共立出版
言語	日本語
媒体	冊子
ページ数／巻数	２１１ｐ
大きさ	22
ジャンル	和書／理工学／情報学／プログラミング
ISBN	9784320026582
商品コード	0195102043
NDC分類	007.64
基本件名	プログラミング（コンピュータ）
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0195102043

内容

１．プログラムの検証　２．ホーア論理入門　３．形式的理論　４．ホーア論理詳説　５．ホーア論理の数学　６．ダイクストラの検証法　７．古典理論を越えて　８．形式的技法

カート

カートに商品は入っていません。