Автор: Yamine Ait Ameur

Підтримка

1 Електронні книги від 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
Англійська
DRM
€57.99