語系
Futatsugi, Kokichi.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Cafe = an industrial-strength algebraic formal method /
by:
Nakagawa, A. T.; Tamai, T.; Futatsugi, Kokichi.
(書目-語言資料,印刷品)
Software security = theories and systems : Second Mext-NSF-JSPS international symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 : revised papers /
by:
Futatsugi, Kokichi.; SpringerLink (Online service); Mizoguchi, Fumio, (1941-); Workshop on the Preservation of Stability under Discretization ((2001 :); Yonezaki, Naoki.
(書目-語言資料,印刷品)