博士論文

書換え論理に基づくメタプログラミングを用いた分散システムの形式仕様とモデル検証

Icons representing 博士論文
The cover of this title could differ from library to library. Link to Help Page

書換え論理に基づくメタプログラミングを用いた分散システムの形式仕様とモデル検証

Persistent ID (NDL)
info:ndljp/pid/11300600
Material type
博士論文
Author
Doan, Ha Thi Thu
Publisher
-
Publication date
2019-03
Material Format
Digital
Capacity, size, etc.
-
Name of awarding university/degree
北陸先端科学技術大学院大学,博士(情報科学)
View All

Notes on use at the National Diet Library

Notes on use

Note (General):

Supervisor: 緒方 和博情報科学研究科博士...

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.

Digital

Material Type
博士論文
Author/Editor
Doan, Ha Thi Thu
Author Heading
Publication Date
2019-03
Publication Date (W3CDTF)
2019-03
Degree grantor/type
北陸先端科学技術大学院大学
Date Granted
2019-03-22
Date Granted (W3CDTF)
2019-03-22
Dissertation Number
甲第1120号