丸善プラネット株式会社

サイトマップ
本づくりのお手伝い 書籍のご紹介 個別相談会 企業概要 お問い合わせ
HOME書籍検索 > 書籍詳細

書籍詳細

Constructive Logics for Program Correctness 画像

購入先

MARUZEN 購入URL
Amazon 購入URL
Honto 購入URL

Constructive Logics for Program Correctness

プログラム正当性はコンピュータソフトウェアに要求される最も基本的な概念である。
本書では,Hoareの検証体系が扱うプログラムの弱正当性の概念が論理的に矛盾した概念である事,および,古典論理や直観主義論理に基くプログラム検証体系の問題点を指摘した後,構成的論理に基くプログラム正当性の新しい検証体系を与えている。また,プログラムの構成的意味論および観測可能な計算可能性という新しい計算概念の提案も行っている。
ソフトウェアの基礎理論およびsafe&trustrubleなソフトウェアの基礎技術に携わる研究者・技術者の必読書。
【著者】 Takayasu Ito/伊藤貴康
【定価】 3500+税
【判型】 B5判
【頁数】 318ページ
【ISBNコード】 978-4-86345-146-9 C3004
【発行年月日】 2012/11/30
【ジャンル】 理工・自然科学
ページの先頭へ
企業概要お問い合わせ製作料金早見表プライバシーポリシーサイトマップ
All Rights Reserved, Copyright(C) MARUZEN PLANET Co., Ltd. 2014