1 电子书 Miklos Biro
Miklos Biro & Michael Butler: Abstract State Machines, Alloy, B, TLA, VDM, and Z
This bookconstitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and …
PDF
英语
DRM
€57.64
