資料詳細

  • 1 件中、 1 件目

[ 和図書 ] 構造的PASCALプログラミング プログラム設計と証明の組織的方法 ( コンピュ-タ・サイエンス研究書シリ-ズ 44 )

Suad Alagic／著 -- 日本コンピュ-タ協会 -- 1980 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
多摩 書庫 一般図書 /5355/620/80 1122847398 Digital BookShelf
1984/08/08 可能（館内閲覧） 利用可   0 (11)-0393

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

タイトル 構造的PASCALプログラミング
タイトルカナ コウゾウ テキ PASCAL プログラミング
タイトル関連情報 プログラム設計と証明の組織的方法
タイトル関連情報読み プログラム セッケイ ト ショウメイ ノ ソシキテキ ホウホウ
著者名 Suad Alagic ／著, Michael A・Arbib ／著, 中島玲二 ／訳
著者名典拠番号

120000002880000 , 120000008260000 , 110000710270000

出版地 東京
出版者 日本コンピュ-タ協会
出版者カナ ニホン コンピュ-タ キョウカイ
出版年 1980
ページ数 293p
大きさ 22cm
シリーズ名 コンピュ-タ・サイエンス研究書シリ-ズ
シリーズ名のルビ等 コンピュ-タ サイエンス ケンキュウ ショ シリ-ズ
シリーズ番号 44
書誌・年譜・年表 参考文献:p.261-264 追加文献:p.280-281
分類：都立NDC10版 007.6
資料情報1 『構造的PASCALプログラミング プログラム設計と証明の組織的方法』（コンピュ-タ・サイエンス研究書シリ-ズ 44）　Suad Alagic／著, Michael A・Arbib／著 , 中島玲二／訳　日本コンピュ-タ協会　1980（所蔵館：多摩　 請求記号：/5355/620/80　 資料コード：1122847398）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1100342779

ページの先頭へ