Bundel Jurnal ACM Transactions on Software Engineering and Methodology : On the Monitoring of Decentralized Specifications: Semantics, Properties, Ana

Detail Buku

• El-Hokayem, Antoine ; Falcone, Yliès, Hierons, Robert M. ; Li, Miqing ; Liu, Xiaohui ; Parejo, Jose
• Association for Computing Machinery
• 2020
• 1049-331X
• UKMC
• perpustakaan@ukmc.ac.id
• Jl. Bangau No. 60, Palembang
• 62895364407941
• https://ukmc.ac.id/