Yazar
Frederic Boniol
1 cilt bulundu.
Cilt sonuçları
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