1 Ebooks by Yamine Ait Ameur
Yamine Ait Ameur & Klaus-Dieter Schewe: Abstract State Machines, Alloy, B, TLA, VDM, and Z
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 …
PDF
Inggeris
DRM
€57.99
