Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
第1章 はじめに
p1~4
第2章 算譜意味論--意図する仕様を定式化する
p5~8
第3章 算譜検証論--仕様どおり動くことを確かめる
p9~15
第4章 計算機言語論--処理の対象を記述する
p16~18
Search by Bookstore
Read in Disability Resources
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 雑誌
- Title
- Title Transcription
- デンシ ギジュツ ソウゴウ ケンキュウジョ チョウサ ホウコク
- Volume
- (230)
- Author/Editor
- 電子技術総合研究所 編
- Author Heading
- 工業技術院電子技術総合研究所 コウギョウ ギジュツイン デンシ ギジュツ ソウゴウ ケンキュウジョ ( 00288079 )Authorities
- Publication, Distribution, etc.
- Publication Date
- 1999-12
- Publication Date (W3CDTF)
- 1999-12
- Year and volume of publication
- 169号-