Research reports on information sciences series C:Computer science C20

• 資料種別: 図書
• タイトル: Research reports on information sciences
• タイトルよみ: Research reports on information sciences
• 巻次・部編番号: series C:Computer science C20
• 著者・編者: [東京工業大学理学部情報科学科] [編]
• 著者標目: 東京工業大学
• 出版事項: Tokyo : Department of Information Sciences, Tokyo Institute of Technology
• 出版年月日等: 1979.1.
• 出版年（W3CDTF）: 1979-01
• 数量: 9冊 ; 30cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• NDC: 007
• NDLC: M151
• 対象利用者: 一般
• 一般注記: コレクション : 国立国会図書館デジタルコレクション > デジタル化資料 > 図書
• DOI: 10.11501/12626237; https://doi.org/10.11501/12626237
• 国立国会図書館永続的識別子: info:ndljp/pid/12626237; https://dl.ndl.go.jp/pid/12626237
• コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 図書; https://dl.ndl.go.jp/collections/A00001
• 製作者: 国立国会図書館
• 製作年（W3CDTF）: 2022-10-18
• 公開開始日（W3CDTF）: 2023-02-28
• 受理日（W3CDTF）: 2023-02-19T19:42:49+09:00
• 記録形式（IMT）: image/jp2
• オンライン閲覧公開範囲: 国立国会図書館内限定公開
• デジタル化資料送信: 図書館・個人送信対象
• 遠隔複写可否（NDL）: 可
• 請求記号: M151-44
• 原資料（JPNO）: 77051091
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

• 内容細目: 20 Specifying and verifying software systems with high internal concurrency based on actor formalism(Akinori Yonezawa)（提供元: 国立国会図書館デジタルコレクション）