Книги автора «Frederic Boniol»

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

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

Книги

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)