Yazar
Sofiene Tahar
3 cilt bulundu.
Cilt sonuçları
Verification and Evaluation of Computer and Communication Systems
Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar · Springer
221 sayfa · 2017
Computer networks / Computer software / Computer science
Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar · Springer London, Limited
Sayfa sayısı yok · 2003
Kategori yok