博士論文
書影書影

Support methods for formal specification description based on reuse and their environments

博士論文を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

Support methods for formal specification description based on reuse and their environments

国立国会図書館請求記号
UT51-96-N289
国立国会図書館書誌ID
000000299290
国立国会図書館永続的識別子
info:ndljp/pid/3114099
資料種別
博士論文
著者
Pairoj Termsinsuwan [著]
出版者
-
出版年
-
資料形態
紙・デジタル
ページ数・大きさ等
-
授与大学名・学位
東北大学,博士 (情報科学)
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

障害者向け資料で読む

目次

  • Abstract

    p2

  • Table of contents

    p4

  • Chapter1 Introduction

    p1

  • 1-1 Background

    p1

  • 1-2 Objective

    p3

障害者向け資料で読む

書誌情報

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

デジタル

資料種別
博士論文
著者・編者
Pairoj Termsinsuwan [著]
著者標目
Pairoj Termsinsuwan パイロート タームスィンスワン
並列タイトル等
再利用に基づく形式仕様記述支援法とその支援環境 サイリヨウ ニ モトズク ケイシキ シヨウ キジュツ シエンホウ ト ソノ シエン カンキョウ
授与機関名
東北大学
授与年月日
平成8年3月26日
授与年月日(W3CDTF)
1996
報告番号
甲第5726号
学位
博士 (情報科学)