Blank Cover Image
所蔵情報QRコード

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

資料種別:
図書
出版情報:
東京工業大学, 1995
著者名:
佐々政孝  
書誌ID:
1000273332
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 学位論文 形式的仕様記述の変換によるプロトタイププログラムの生成に関する研究

市川, 至

東京工業大学
7 図書 実時間ソフトウェアの仕様記述とその検証方式の研究

米崎、 直樹

東京工業大学 、 1998.3
2 学位論文 プログラム言語の形式的意味記述と検証の研究

武田, 正之

東京工業大学
8 学位論文 自己検査性検査回路と誤り検出・訂正符号の構成に関する研究

伊藤, 秀男

東京工業大学
3 図書 プログラム仕様記述論

荒木, 啓二郎, 張, 漢明

オーム社
9 図書 光データ処理による超高速光信号誤り検出に関する研究

植之原, 裕行

東京工業大学
4 図書 SSA形式に基づく中間言語を用いた最新アーキテクチャに対するコンパイラの研究

佐々, 政孝

東京工業大学
10 図書 コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究

佐々, 政孝

東京工業大学
5 図書 データ中心のプログラム仕様記述法

橋本, 正明(1946-)

井上書院
11 学位論文 誤り検出カバレッジに着目したフォールトトレラントシステムに関する研究

金川, 信康

東京工業大学
6 図書 ソフトウェア仕様記述の先進技法-Z言語

Potter, Ben, Sinclair, Jane, Till, David, 田中, 武二

トッパン
12 図書 文芸学の形式的方法

Bakhtin, M. M. (Mikhail Mikhaĭlovich), 1895-1975, 桑野, 隆(1947-), 佐々木, 寛(1949-)

新時代社
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12