Cart 0
Static Analysis
Click to zoom

Share this book

Static Analysis : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

1st ed. 2021

Book Details

Format Paperback / Softback
ISBN-10 3030888053
ISBN-13 9783030888053
Edition 1st ed. 2021
Publisher Springer Nature Switzerland AG
Imprint Springer Nature Switzerland AG
Country of Manufacture GB
Country of Publication GB
Publication Date Oct 14th, 2021
Print length 479 Pages
Ksh 12,600.00
Werezi Extended Catalogue Delivery in 28 days

Delivery Location

Delivery fee: Select location

Delivery in 28 days

Secure
Quality
Fast
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks.
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.

The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book  together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.



Get Static Analysis by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has pages.

Mind, Body, & Spirit

Price

Ksh 12,600.00

Shopping Cart

Africa largest book store

Sub Total:
Ebooks

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.