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