This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area.Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
€90.29
Beli ebook ini dan dapatkan 1 lagi GRATIS!
Bahasa Inggris ● Format EPUB ● ISBN 9783031442452 ● Editor Manuel V. Hermenegildo & Jose F. Morales ● Penerbit Springer Nature Switzerland ● Diterbitkan 2023 ● Diunduh 3 kali ● Mata uang EUR ● ID 9224186 ● Perlindungan salinan Adobe DRM
Membutuhkan pembaca ebook yang mampu DRM
Ebook lainnya dari penulis yang sama / Editor
3,692 Ebooks dalam kategori ini
