語系
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 /
by:
Ait Ameur, Yamine.; Clark Conference ((2005 :); Schewe, Klaus-Dieter.; SpringerLink (Online service)
(書目-語言資料,印刷品)