並列プログラムの検証体系に関する論理学的研究

名古屋大学博士学位論文学位の種類 : 工学博士(課程) 学位授与年月日 : 昭和60年9月28日

Bibliographic Details
Main Authors:	村上, 昌己, Murakami, Masaki
Language:	ja
Published:	1985
Online Access:	http://hdl.handle.net/2237/12489

id	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-12489
record_format	oai_dc
spelling	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-124892013-01-07T23:47:24Z並列プログラムの検証体系に関する論理学的研究村上, 昌己Murakami, Masaki名古屋大学博士学位論文学位の種類 : 工学博士(課程) 学位授与年月日 : 昭和60年9月28日1985-09-28Thesishttp://hdl.handle.net/2237/12489ja
collection	NDLTD
language	ja
sources	NDLTD
description	名古屋大学博士学位論文学位の種類 : 工学博士(課程) 学位授与年月日 : 昭和60年9月28日
author	村上, 昌己 Murakami, Masaki
spellingShingle	村上, 昌己 Murakami, Masaki 並列プログラムの検証体系に関する論理学的研究
author_facet	村上, 昌己 Murakami, Masaki
author_sort	村上, 昌己
title	並列プログラムの検証体系に関する論理学的研究
title_short	並列プログラムの検証体系に関する論理学的研究
title_full	並列プログラムの検証体系に関する論理学的研究
title_fullStr	並列プログラムの検証体系に関する論理学的研究
title_full_unstemmed	並列プログラムの検証体系に関する論理学的研究
title_sort	並列プログラムの検証体系に関する論理学的研究
publishDate	1985
url	http://hdl.handle.net/2237/12489
work_keys_str_mv	AT cūnshàngchāngjǐ bìnglièpuroguramunojiǎnzhèngtǐxìniguānsurulùnlǐxuédeyánjiū AT murakamimasaki bìnglièpuroguramunojiǎnzhèngtǐxìniguānsurulùnlǐxuédeyánjiū
_version_	1716493048717770752

並列プログラムの検証体系に関する論理学的研究

Similar Items