Книги автора «Yamine Ait Ameur»

На данной странице предаставлены все книги автора «Yamine Ait Ameur»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Yamine Ait Ameur»

Книги

ABZ 2014. The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Pro

ABZ 2014. The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Pro (Frederic Boniol,Virginie Wiels,Yamine Ait Ameur)