Autor: Yamine Ait Ameur

Support

1 Ebooks von 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
Englisch
DRM
€57.99