Get Free Shipping on orders over $79
Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings - David Pichardie

Static Analysis

27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings

By: David Pichardie (Editor), Mihaela Sighireanu (Editor)

Paperback | 13 January 2021

At a Glance

Paperback


$119.00

or 4 interest-free payments of $29.75 with

 or 

Ships in 5 to 7 business 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.

More in Systems Analysis & Design

Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
Systems Analysis and Design : 12th edition - Harry J. Rosenblatt

RRP $169.95

$137.99

19%
OFF
Data-driven BIM for Energy Efficient Building Design : 1st Edition - Farzad Pour  Rahimian
Business Driven Information Systems ISE : 9th Edition - Paige Baltzan
DAMA-DMBOK : Data Management Body of Knowledge - DAMA International

RRP $137.49

$106.75

22%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
Spark : The Definitive Guide : Big Data Processing Made Simple - Bill Chambers
AI Engineering : Building Applications with Foundation Models - Chip Huyen
Systems Analysis and Design, Global Edition : 10th edition - Julie Kendall
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston