Static Analysis : 30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings
2023 ed.
Book Details
Format
Paperback / softback
Book Series
Lecture Notes in Computer Science
ISBN-10
303144244X
ISBN-13
9783031442445
Edition
2023 ed.
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Oct 24th, 2023
Print length
566 Pages
KSh 12,600.00
Currently unavailable
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions.
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area. Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Get Static Analysis by Jose F. Morales at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 566 pages.
Customers Who Bought This Also Bought
Internet Technologies, Applications and Societal Impact
KSh 16,200.00
Advanced Information Systems Engineering
KSh 16,200.00
Exam Ref 70-532 Developing Microsoft Azure Solutions
KSh 6,050.00
A+ Guide to Hardware
KSh 17,000.00
Technological Innovation for Life Improvement
KSh 16,200.00
Reliability and Statistical Computing
KSh 16,200.00
Trends in Communication, Cloud, and Big Data
KSh 23,400.00
Software for Exascale Computing - SPPEXA 2016-2019
KSh 8,150.00
Natural Language Processing and Chinese Computing
KSh 16,200.00
The Next Generation Vehicular Networks, Modeling, Algorithm and Applications
KSh 19,800.00
Verified Software. Theories, Tools and Experiments.
KSh 8,100.00
Multi-Agent Systems
KSh 12,600.00
More in This Genre
Internet Technologies, Applications and Societal Impact
KSh 16,200.00
Advanced Information Systems Engineering
KSh 16,200.00
Exam Ref 70-532 Developing Microsoft Azure Solutions
KSh 6,050.00
A+ Guide to Hardware
KSh 17,000.00
Technological Innovation for Life Improvement
KSh 16,200.00
Reliability and Statistical Computing
KSh 16,200.00
