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.78
