Werezi Books
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
Book Series Programming and Software Engineering
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
Product Classification: Network hardwareOperating systemsSoftware EngineeringMathematical theory of computationSystems analysis & design

AI Summary

Ksh 12,600.00
Werezi Extended Catalogue 0 in stock

Delivery Location

Delivery fee: Select location

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.

Discover books you might love based on this title.

More in This Genre

Communication Protocols

Communication Protocols

Ksh 23,400.00
Statistics in the Public Interest

Statistics in the Public Interest

Ksh 15,400.00
Crafting Clean Code with JavaScript and React

Crafting Clean Code with JavaScript and React

Ksh 9,000.00
2nd EAI International Conference on Robotic Sensor Networks

2nd EAI International Conference on Robotic Sensor Networks

Ksh 23,400.00
Theoretical Aspects of Software Engineering

Theoretical Aspects of Software Engineering

Ksh 13,500.00
Human-Computer Interaction – INTERACT 2021

Human-Computer Interaction – INTERACT 2021

Ksh 18,000.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.