図書

プログラム言語とその変換の形式的仕様記述に対するテストおよび誤り検出の研究

図書を表すアイコン

プログラム言語とその変換の形式的仕様記述に対するテストおよび誤り検出の研究

国立国会図書館請求記号
Y151-H05680269
国立国会図書館書誌ID
000006994649
資料種別
図書
著者
佐々, 政孝, 東京工業大学
出版者
-
出版年
1993-1994
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
プログラム ゲンゴ ト ソノ ヘンカン ノ ケイシキテキ シヨウ キジュツ ニ タイスル テスト オヨビ アヤマリ ケンシュツ ノ ケンキュウ
著者・編者
佐々, 政孝, 東京工業大学
著者標目
著者 : 佐々, 政孝, 1948- サッサ, マサタカ, 1948- ( 00199480 )典拠
出版年月日等
1993-1994
出版年(W3CDTF)
1993
数量
その他のタイトル
研究種目 一般研究(C)
件名標目
形式的仕様 ケイシキテキシヨウ
プログラム言語 プログラムゲンゴ
テスト テスト
デバツグ デバツグ
コンパイラ コンパイラ
属性文法 ゾクセイブンポウ