記事・論文
| タイトル | 論理的な仕様から分散システムを合成する方法の検討 |
|---|---|
| 著者 | 磯部 祥尚 |
| 著者 | 大蒔 和仁 |
| 出版地（国名コード） | JP |
| 出版地 | 東京 |
| 出版社 | 電子情報通信学会 |
| 出版年月日等 | 99 (通号 539) 2000.01.18 |
| 出版年(W3CDTF) | 2000-01-18 |
| NDLC | ZN33 |
| 対象利用者 | 一般 |
| 資料の種別 | 記事・論文 |
| 掲載誌情報（URI形式） | https://iss.ndl.go.jp/books/R100000002-I000000050569-00 |
| 掲載誌情報（ISSN形式） | 09135685 |
| 掲載誌情報（ISSN-L形式） | 09135685 |
| 掲載誌名 | 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 |
| 掲載巻 | 99 |
| 掲載通号 | 539 |
| 掲載ページ | 31～38 |
| 言語（ISO639-2形式） | jpn : 日本語 |
