Research reports on information sciences series C:Computer science C20

• Material Type: 図書
• Title: Research reports on information sciences
• Title Transcription: Research reports on information sciences
• Volume: series C:Computer science C20
• Author/Editor: [東京工業大学理学部情報科学科] [編]
• Author Heading: 東京工業大学
• Publication, Distribution, etc.: Tokyo : Department of Information Sciences, Tokyo Institute of Technology
• Publication Date: 1979.1.
• Publication Date (W3CDTF): 1979-01
• Extent: 9冊 ; 30cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• NDC: 007
• NDLC: M151
• Target Audience: 一般
• Note (General): 資料形態 : テキストデータ プレーンテキスト; コレクション : 国立国会図書館デジタルコレクション > デジタル化資料 > 図書
• DOI: 10.11501/12626237; https://doi.org/10.11501/12626237
• Persistent ID (NDL): info:ndljp/pid/12626237; https://dl.ndl.go.jp/pid/12626237
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (Materials For Handicapped People:2): プレーンテキスト
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 図書; https://dl.ndl.go.jp/collections/A00001
• Producer: 国立国会図書館
• Production year (W3CDTF): 2022-10-18
• Available (W3CDTF): 2023-02-28
• Date Accepted (W3CDTF): 2023-02-19T19:42:49+09:00
• Format (IMT): image/jp2
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象
• Availability of remote photoduplication service: 可
• Call No.: M151-44
• Original Material (JPNO): 77051091
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

• Contents: 20 Specifying and verifying software systems with high internal concurrency based on actor formalism(Akinori Yonezawa)(Provided by: 国立国会図書館デジタルコレクション)