Text
Foundations of Software Science and Computation Structures; 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-24 tentang Fondasi Ilmu Perangkat Lunak dan Struktur Komputasi, FOSSACS 2021, yang diselenggarakan selama 27 Maret hingga 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan diselenggarakan di Luksemburg dan diubah menjadi format daring karena pandemi COVID-19. 28 makalah reguler yang disajikan dalam volume ini ditinjau dan dipilih secara cermat dari 88 kiriman. Makalah-makalah tersebut membahas penelitian tentang teori dan metode untuk mendukung analisis, integrasi, sintesis, transformasi, dan verifikasi program dan sistem perangkat lunak.
No copy data
No other version available