言語
MaibaumTom
概観
著作: | 0 作品に 1 出版物中に 1 言語 |
---|
タイトル
Formal methods at the crossroads: from Panacea to Foundational support: 10th anniversary colloquium of UNU/IIST,...
…で:
AichernigBernhard K.; MaibaumTom
(言語・文字資料 (印刷物))