Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings: 14995 (Lecture Notes in Computer Science, 14995) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.
Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.
The 18 papers included here were carefully reviewed and selected from 45 submissions.
"synopsis" may belong to another edition of this title.
Search results for Static Analysis: 31st International Symposium, SAS...
Stock Image
Static Analysis (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # OKGNYFBUDB
Buy New
£ 61.70
£ 5.80 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Static Analysis (Paperback)
Published by
Springer International Publishing AG, Cham, 2025
ISBN 10: 3031747755
ISBN 13: 9783031747755
New
Paperback
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.The 18 papers included here were carefully reviewed and selected from 45 submissions. This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783031747755
Seller Image
Static Analysis
Published by
Springer, Springer Jan 2025, 2025
ISBN 10: 3031747755
ISBN 13: 9783031747755
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 31stInternational Static Analysis Symposium, SAS 2024, held inPasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.The 18papers included here were carefully reviewed and selected from 45 submissions. 476 pp. Englisch. Seller Inventory # 9783031747755
Seller Image
Static Analysis
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Seller Inventory # 1853461464
Buy New
£ 65.62
£ 41.78 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20?22, 2024, Proceedings (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 26402833917
Stock Image
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20?22, 2024, Proceedings (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 410353186
Buy New
£ 110.37
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, Ca, USA, October 2022, 2024, Proceedings
Published by
Springer-Nature New York Inc, 2025
ISBN 10: 3031747755
ISBN 13: 9783031747755
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 474 pages. 9.25x6.10x9.25 inches. In Stock. Seller Inventory # x-3031747755
Buy New
£ 108.34
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20?22, 2024, Proceedings (Lecture Notes in Computer Science)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18402833911
Seller Image
Static Analysis
Published by
Springer, Springer Jan 2025, 2025
ISBN 10: 3031747755
ISBN 13: 9783031747755
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.The 18 papers included here were carefully reviewed and selected from 45 submissions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 476 pp. Englisch. Seller Inventory # 9783031747755
Seller Image
Static Analysis | 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Static Analysis | 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings | Roberto Giacobazzi (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2025 | Springer | EAN 9783031747755 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 130987523