Machine theory
概要
作品: |
26 作品在 19 項出版品 19 種語言 |
書目資訊
ABZ 2014 = the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(書目-電子資源)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
by:
(書目-電子資源)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(書目-電子資源)