Static Analysis Image close
Static Analysis
Static Analysis
Show Hide Adult Content
Static Analysis close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer hardware  
Network hardware

Static Analysis

28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$216.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $54.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 8-18 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$182.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 20 Jul 2024
Advances in Brain Inspired Cognitive Systems
$179.99
Advances in Brain Inspired Cognitive Systems
Paperback / softback
Pre-order - out 26 Jun 2024
Automata, Languages and Programming
$189.99
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
DIANA. An Intermediate Language for Ada
$80.99
DIANA. An Intermediate Language for Ada
Paperback / softback
Available - Usually ships in 3-4 weeks
CSL'88 Save $45
$150.99
$196.95
CSL'88
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$204.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Privacy in Statistical Databases
$135.99
Privacy in Statistical Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Artificial Intelligent Systems
$307.99
Hybrid Artificial Intelligent Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$146.99
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing Save $49
$135.99
$185.95
Service-Oriented Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Geometric Science of Information
$238.99
Geometric Science of Information
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing Frontiers
$123.99
Supercomputing Frontiers
Paperback / softback
Available - Usually ships in 3-4 weeks
Human-Computer Interaction – INTERACT 2019
$401.99
Human-Computer Interaction – INTERACT 2019
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$118.99
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Database Technology - EDBT '88
$163.99
Advances in Database Technology - EDBT '88
Paperback / softback
Available - Usually ships in 3-4 weeks
ICDT '88 Save $59
$136.99
$196.95
ICDT '88
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
October 14th, 2021
Contributors
  • Edited by Cezara Dragoi
  • Edited by Kedar Namjoshi
  • Edited by Suvam Mukherjee
Pages
479
Edition
1st ed. 2021
Audience
  • Professional & Vocational
Illustrations
97 Illustrations, color; 69 Illustrations, black and white; XVI, 479 p. 166 illus., 97 illus. in color.
ISBN-13
9783030888053
Product ID
35393271

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Operating systems
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design
Books >
Computers & Internet >
Computer science >
Artificial intelligence >
Expert systems / knowledge-based systems