Blank Cover Image
タイトル、所在を表示します

代数的仕様記述に関する研究 : データタイプの抽象的実現からプログラムへの変換及びその最適化について

フォーマット:
図書
責任表示:
五味弘 [著]
言語:
日本語
出版情報:
[津] : 三重大学, [1985]
形態:
1冊 ; 31cm
著者名:
五味, 弘  
シリーズ名:
修士論文. 三重大学大学院工学研究科修士課程電子工学専攻 ; 昭和59年度
書誌ID:
MT00024518
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 代数的仕様記述とソフトウェエアの正当性証明システムに関する研究

川原林, 隆

三重大学
7 図書 要求仕様記述用制限日本語の記述支援系の開発

松野下, 博司

三重大学
2 図書 プログラム仕様記述論

荒木, 啓二郎, 張, 漢明

オーム社
8 図書 センス・オブ・プログラミング! : 抽象的に考えること・データ構造を理解すること

前橋, 和弥

技術評論社
3 図書 組み込みソフトへの数理的アプローチ : 形式手法によるソフトウェアの仕様記述と検証

藤倉, 俊幸

CQ出版
9 図書 同期現象の科学 : 位相記述によるアプローチ

蔵本, 由紀 (1940-), 河村, 洋史

京都大学学術出版会
4 図書 抽象的曲面とリーマン面

佐武, 一郎(1927-)

朝倉書店
10 図書 On the Church-Rosser property of depth-preserving term rewriting systems

五味, 弘

三重大学
5 図書 仕様記述言語における不変条件の生成

伊藤, 裕介

三重大学
11 図書 プログラミング言語論

大山口, 通夫, 五味, 弘

コロナ社
6 図書 ソフトウェア仕様記述の先進技法-Z言語

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

トッパン
12 図書 記述式小テストの解答群からの類似解答の抽出 : 抽出漏れの削減

服部, 優季

三重大学