書店で探す
目次
Contents
1 Introduction/ 1
1.1 Programming Language/ 1
1.2 Specifications/ 3
1.3 Verification/ 7
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 図書
- ISBN
- 0387549471 (New York)3540549471 (Berlin)
- 出版年月日等
- c1991.
- 出版年(W3CDTF)
- 1991
- 数量
- viii, 235 p. ; 25 cm.
- 出版地(国名コード)
- DE