Yazar
Ahmed Bouajjani
6 cilt bulundu.
Cilt sonuçları
Automated Technology for Verification and Analysis
Ahmed Bouajjani · Springer International Publishing AG
Sayfa sayısı yok · 2010
Logic design / Computer networks / Computer science / Software engineering / Congresses
Formal Techniques for Disributed Objects, Components, and Systems
Ahmed Bouajjani, Alexandra Silva · Springer International Publishing AG
243 sayfa · 2017
Object-oriented methods (computer science) / Computer software, reliability