言語
Ait Ameur, Yamine.
概観
著作: | 1 作品に 1 出版物中に 1 言語 |
---|
タイトル
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
…で:
Ait Ameur, Yamine.; Clark Conference ((2005 :); Schewe, Klaus-Dieter.; SpringerLink (Online service)
(言語・文字資料 (印刷物))