Static Analysis
☆☆☆☆☆
(0 reviews)
Lowest price (incl. delivery)
9 395,00 JPY
Typical price1 233,64 PLN
Lowest (90 days)55,99 PLN
Offers2
Last updated3 天前
| 卖家 | Product price | Delivery | 总计 | 可用性 | Updated | |
|---|---|---|---|---|---|---|
| SP Springer Nature Author | 9 380,00 JPY | 15,00 JPY | 9 395,00 JPY | 可购买 | 3 天前 | View offer |
| SP SpringerNatureLink Shop INT | 77,50 EUR | 25,00 EUR | 102,50 EUR | 可购买 | 3 天前 | View offer |
价格和库存可能会有变动。 最后更新: 08.08.2026 23:18.
EAN
9783031442452
Springer Nature
0,0
☆☆☆☆☆
0 reviews
5★
0%
4★
0%
3★
0%
2★
0%
1★
0%
Product reviews
No reviews yet — be the first!
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.