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

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

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

Similar Items