書店で探す
目次
Table of Contents
Correct Software: From Experiments to Applications/ 1
Part I: Methods for Correctness/ 25
A Method for the Development of Correct Software/ 27
Realizing Sets by Hash Tables/ 58
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 3540605894 (softcover : alk. paper)
- 出版年月日等
- c1995.
- 出版年(W3CDTF)
- 1995
- 数量
- x, 449 p. : ill. ; 24 cm.
- 出版地(国名コード)
- DE