2 Ebooks by Sarfraz Khurshid
John Derrick & John Fitzgerald: Abstract State Machines, Alloy, B, VDM, and Z
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented toge …
PDF
English
DRM
€57.65