Yazar
Yamine Ait Ameur
5 cilt bulundu.
Cilt sonuçları
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Yamine Ait Ameur, Klaus-Dieter Schewe · Springer
352 sayfa · 2014
Machine learning / Machine theory / Computer science / Software engineering / Programming languages (electronic computers)
ABZ 2014 : The Landing Gear Case Study
Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe · Springer London, Limited
169 sayfa · 2014
Computer science / Machine theory / Logic design / Computer simulation / Logics and Meanings of Programs
Theoretical Aspects of Software Engineering
Yamine Aït-Ameur, Florin Crăciun · Springer International Publishing AG
Sayfa sayısı yok · 2022
Kategori yok