Yazar: Yamine Ait Ameur

Destek

1 Ebooks tarafından 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
İngilizce
DRM
€57.99