Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings (Paperback, 1st ed. 2021)
Loot Price: R2,367
Discovery Miles 23 670
|
|
Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings (Paperback, 1st ed. 2021)
Series: Programming and Software Engineering, 12913
Expected to ship within 10 - 15 working days
|
Donate to Against Period Poverty
Total price: R2,387
Discovery Miles: 23 870
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.