並列プログラムの検証体系に関する論理学的研究
名古屋大学博士学位論文 学位の種類 : 工学博士(課程) 学位授与年月日 : 昭和60年9月28日
| Main Authors: | , |
|---|---|
| Language: | ja |
| Published: |
1985
|
| Online Access: | http://hdl.handle.net/2237/12489 |
名古屋大学博士学位論文 学位の種類 : 工学博士(課程) 学位授与年月日 : 昭和60年9月28日
| Main Authors: | , |
|---|---|
| Language: | ja |
| Published: |
1985
|
| Online Access: | http://hdl.handle.net/2237/12489 |