1 Ebooks by 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
English
DRM
€57.64
