書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究
名古屋大学博士学位論文 学位の種類:博士(工学) (課程) 学位授与年月日:平成9年2月7日
Main Authors: | , |
---|---|
Language: | ja |
Published: |
1997
|
Online Access: | http://hdl.handle.net/2237/6439 |
id |
ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-6439 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-64392013-01-07T23:39:46Z書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究河口, 信夫Kawaguchi, Nobuo名古屋大学博士学位論文 学位の種類:博士(工学) (課程) 学位授与年月日:平成9年2月7日1997-02-07Thesishttp://hdl.handle.net/2237/6439ja |
collection |
NDLTD |
language |
ja |
sources |
NDLTD |
description |
名古屋大学博士学位論文 学位の種類:博士(工学) (課程) 学位授与年月日:平成9年2月7日 |
author |
河口, 信夫 Kawaguchi, Nobuo |
spellingShingle |
河口, 信夫 Kawaguchi, Nobuo 書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究 |
author_facet |
河口, 信夫 Kawaguchi, Nobuo |
author_sort |
河口, 信夫 |
title |
書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究 |
title_short |
書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究 |
title_full |
書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究 |
title_fullStr |
書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究 |
title_full_unstemmed |
書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究 |
title_sort |
書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究 |
publishDate |
1997 |
url |
http://hdl.handle.net/2237/6439 |
work_keys_str_mv |
AT hékǒuxìnfū shūhuànexíngjìsuànmoderunojiěxījiǎnzhèngbiànhuànnotamenoshìjuédezhīyuánshǒufǎniguānsuruyánjiū AT kawaguchinobuo shūhuànexíngjìsuànmoderunojiěxījiǎnzhèngbiànhuànnotamenoshìjuédezhīyuánshǒufǎniguānsuruyánjiū |
_version_ |
1716490955166580736 |