演習プログラムの証明 | 茨城大学附属図書館 OPAC

Blank Cover Image

QRコード(所蔵情報)

演習プログラムの証明

フォーマット:

図書

責任表示:

ロバート・B.アンダスン著 ; 有沢誠訳

言語:

日本語

出版情報:

東京 : 近代科学社, 1980.11

形態:

174p ; 21cm

著者名:

シリーズ名:

ソフトウェア工学ライブラリ ; [1] <BN00239259>

書誌ID:

BN01964118

ISBN:

9784764900646 [4764900645]

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

詳細

その他の標題:	Proving programs correct
主題:	プログラミング(電子計算機)
分類・件名:	NDC7 : 418.6 NDC8 : 007.64 NDLC : M159 NDLSH : プログラミング(電子計算機)
注記:	関連文献: p164-171
タイトルのヨミ、その他のヨミ:	エンシュウプログラムノショウメイ
TTLL:	jpn
著者名ヨミ:	アリサワ, マコト

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書プログラミング・レクリエーション : ソフトウェア実習のガイド有澤, 誠(1944-) 近代科学社	7 図書 TSSによるプログラミング演習沢田, 晃共立出版
2 図書構造的プログラミング有澤, 誠(1944-) 昭晃堂	8 図書 FORTRANソフトウェア工学有澤, 誠(1944-) 共立出版
3 図書プログラム言語への招待有澤, 誠(1944-) 岩波書店	9 図書ソフトウェア工学有澤, 誠(1944-) 岩波書店
4 図書ソフトウェアプロトタイピング有澤, 誠(1944-) 近代科学社	10 図書演習Cプログラミング吉岡, 善一(1947-) サイエンス社
5 図書ミニコン・プログラムの演習秋山, 穣(1924-) 産報	11 図書 BASICプログラミング : 入門と演習水上, 孝一朝倉書店
6 図書 C言語プログラミング演習 : 例題で学ぶ正しいプログラムの作り方若林, 糧日経BP社, 日経BP出版センター (発売)	12 図書構造的PASCALプログラミング : プログラム設計と証明の組織的方法 Alagić, Suad, 1946-, 中島, 玲二(1947-), Arbib, Michael A., 1940- 日本コンピュータ協会