Home > Authors > Yamine Ait Ameur

Yamine Ait Ameur

All books by Yamine Ait Ameur

(Displaying 2 Books)

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Yamine Ait Ameur

ABZ 2014 : The Landing Gear Case Study

ABZ 2014 : The Landing Gear Case Study

Frederic Boniol

Looking for another book by Yamine Ait Ameur? Search for the book by title.