{"product_id":"static-analysis-29th-international-symposium-sas-2022-auckland-new-zealand-december-5-7-2022-proceedings-9783031223075","title":"Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings","description":"\u003cp\u003e • Author(s): Gagandeep Singh\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Programming - Compilers\u003c\/p\u003e\u003cp\u003eThis book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.\u003cbr\u003e\u003c\/p\u003e\u003cp\u003eThe 18 full papers included in this book were carefully reviewed and selected from 43 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. \u003c\/p\u003e\u003cbr\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":45284181639319,"sku":"9783031223075","price":5141.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783031223075.webp?v=1769280423","url":"https:\/\/atlanticbooks.com\/products\/static-analysis-29th-international-symposium-sas-2022-auckland-new-zealand-december-5-7-2022-proceedings-9783031223075","provider":"Atlantic Books","version":"1.0","type":"link"}