{"product_id":"static-analysis","title":"Static Analysis: 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings","description":"This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.\u003cp\u003e\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\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"None","offers":[{"title":"Couverture souple","offer_id":46160543547569,"sku":"9783031223075","price":116.95,"currency_code":"CAD","in_stock":true},{"title":"Livre numérique Kobo","offer_id":46160543580337,"sku":"e8b72cc9-262e-34e8-b93e-eaef1a1c312f","price":89.69,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0655\/8980\/5233\/files\/1_cf74538a-adeb-4678-8d71-dfe49d85186f.jpg?v=1763716755","url":"https:\/\/www.indigo.ca\/fr\/products\/static-analysis","provider":"Indigo","version":"1.0","type":"link"}