Yazar
Adenilso Simao
3 cilt bulundu.
Cilt sonuçları
Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selected Papers
Adenilso Simao · Springer
Sayfa sayısı yok · 2011
Mathematical Logic and Formal Languages / Programming Techniques / Information Systems / Software engineering / Logic design
Theoretical Aspects of Computing - ICTAC 2020
Violet Kai I. Pun, Volker Stolz, Adenilso Simão · Springer International Publishing AG
Sayfa sayısı yok · 2020
Kategori yok