博士論文

形式検証ツールの並列化

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

形式検証ツールの並列化

Persistent ID (NDL)
info:ndljp/pid/12651773
Material type
博士論文
Author
DO, Minh Canh
Publisher
-
Publication date
2022-09
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
DO, Minh Canh
Author Heading
Publication Date
2022-09
Publication Date (W3CDTF)
2022-09
Degree grantor/type
北陸先端科学技術大学院大学
Date Granted
2022-09-22
Date Granted (W3CDTF)
2022-09-22
Dissertation Number
26甲第1330号