書換え型計算モデルの解析・検証・変換のための視覚的支援手法に関する研究

名古屋大学博士学位論文 学位の種類:博士(工学) (課程) 学位授与年月日:平成9年2月7日

Bibliographic Details
Main Authors: 河口, 信夫, Kawaguchi, Nobuo
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