Books > Computing & IT > Applications of computing > Artificial intelligence > Knowledge-based systems / expert systems
|
Buy Now
Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings (Paperback, 1st ed. 2020)
Loot Price: R1,774
Discovery Miles 17 740
|
|
Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings (Paperback, 1st ed. 2020)
Series: Lecture Notes in Computer Science, 12389
Expected to ship within 12 - 17 working days
|
This book constitutes the refereed proceedings of the 27th
International Symposium on Static Analysis, SAS 2020, held in
Chicago, IL, USA, in November 2020.The 14 regular papers presented
in this book together with 2 invited talks and 1 extended abstract,
were carefully reviewed and selected from 34 submissions. The
papers cover topics such as abstract domains; abstract
interpretation; automated deduction; data flow analysis; debugging;
deductive methods; emerging applications; model-checking; program
transformations; predicate abstraction; security analysis; tool
environments and architectures; and type checking. Due to the
Corona pandemic this event was held virtually.
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.