語系
AichernigBernhard K.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Formal methods at the crossroads: from Panacea to Foundational support: 10th anniversary colloquium of UNU/IIST,...
by:
AichernigBernhard K.; MaibaumTom
(書目-語言資料,印刷品)