WebOPAC Local書誌詳細

開館カレンダーヘルプログイン

書誌詳細

熊本高等専門学校

検索結果一覧へ戻る

	構造的PASCALプログラミング : プログラム設計と証明の組織的方法 Suad Alagić, Michael A.Arbib著 ; 中島玲二訳. -- 日本コンピュータ協会, 1980. -- (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 44). <BB01020145> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

構造的PASCALプログラミング : プログラム設計と証明の組織的方法 Suad Alagić, Michael A.Arbib著 ; 中島玲二訳. -- 日本コンピュータ協会, 1980. -- (コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 44). <BB01020145> 登録タグ：登録されているタグはありません便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

所蔵一覧 1件～2件（全2件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	コメント	返却予定日
0001		熊本(熊本)	(熊本)3階書庫8206	549.92\|\|248\|\|44	00025149
0002	44	熊本(熊本)	(熊本)1階書庫1186	549.92\|\|171\|\|44ロ	00029439


No.	0001
巻号
所蔵館	熊本(熊本)
配置場所	(熊本)3階書庫8206
請求記号	549.92\|\|248\|\|44
資料ID	00025149
状態
コメント
返却予定日

No.	0002
巻号	44
所蔵館	熊本(熊本)
配置場所	(熊本)1階書庫1186
請求記号	549.92\|\|171\|\|44ロ
資料ID	00029439
状態
コメント
返却予定日

このページのTOPへ

書誌詳細

標題および責任表示	構造的PASCALプログラミング : プログラム設計と証明の組織的方法 / Suad Alagić, Michael A.Arbib著 ; 中島玲二訳コウゾウテキ PASCAL プログラミング : プログラムセッケイトショウメイノソシキテキホウホウ
出版・頒布事項	東京 : 日本コンピュータ協会 , 1980.9
形態事項	293p ; 22cm
書誌構造リンク	コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編\|\|コンピュータサイエンスケンキュウショシリーズ <BB01270111> 44//a
その他の標題	原タイトル:The design of well-structured and correct programs
注記	発売: 科学技術出版社
注記	参考文献: p261-264
学情ID	BN03279056
本文言語コード	日本語
著者標目リンク	Alagić, Suad, 1946- <NC:DA0037914X> 著
著者標目リンク	中島, 玲二(1947-) ナカジマ, レイジ <NC:DA00666141> 訳
著者標目リンク	Arbib, Michael A., 1940- <NC:DA00401318> 著
分類標目	情報科学 NDC8:007.64
分類標目	科学技術 NDLC:M159
件名標目等	プログラミング(電子計算機)\|\|プログラミング(デンシケイサンキ)

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ