1
/
of
1
Springer Nature Switzerland AG
Static Analysis: 33rd International Symposium, SAS 2026, Oakland, CA, USA, October 6–8, 2026, Proceedings
Static Analysis: 33rd International Symposium, SAS 2026, Oakland, CA, USA, October 6–8, 2026, Proceedings
ORDERED FOR YOU
We can order this item for you. Delivery usually takes about 4 to 6 weeks.
This item is not held in our immediate stock. We will order it for you after checkout.
Estimated delivery: About 4 to 6 weeks
Regular price
£53.35 GBP
Regular price
£64.99 GBP
Sale price
£53.35 GBP
Unit price
/
per
Taxes included.
Shipping calculated at checkout.
YOU SAVE £11.64
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £3.89. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Static Analysis: 33rd International Symposium, SAS 2026, Oakland, CA, USA, October 6–8, 2026, Proceedings
This book constitutes the refereed proceedings of the 33rd International Static Analysis Symposium, SAS 2026, held in Oakland, CA, USA, during October 6–8, 2026. The 20 papers included here were carefully reviewed and selected from 43 submissions. They focus on abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM.
- Publication date: 7 October 2026
- Page count: 604
- Publisher: Springer Nature Switzerland AG
- Format: Paperback
- ISBN-13: 9783032403735
UK and International shipping information
UK and International shipping information
We deliver throughout the United Kingdom and to 128 countries and territories worldwide, including the United States, Australia, Canada, Germany, Spain and France.
