語系
SmithGraeme
概要
作品: | 16 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Integrated formal methods: 4th International Conference,IFM 2004
by:
BoitenEerke A.; SmithGraeme
(書目-語言資料,印刷品)