Code: 43912484

Static Analysis

Name: Static Analysis
Brand: Springer, Berlin
SKU: 43912484
Price: 84.21 EUR
Availability: InStock
Author: Manuel V Hermenegildo
ISBN: 9783031442445

by Manuel V Hermenegildo, José F. Morales

Language: English
Binding: Paperback
Number of pages: 584
Publisher: Springer, Berlin, 2023
More about this

84.21 €

RRP: 91.28 €

You save 7.07 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Zsugaléria - Képeslap és kártya a humor tükrében
14.11 € -10 %
Buy
Medvěd lední velký
6.24 € -23 %
Buy
PALETTE mini Series Sketchbook White Edition
36.20 € -14 %
Buy
Ladybird Readers Level 4 - Tales from India - The Story of Laila and Ajeet (ELT Graded Reader)
5.54 € -25 %
Buy
GATEANDO 8 CARTILLA fichas preescolar
4.13 €
Buy
Euro 2008 la nouvelle vague bleue
31.16 €
Buy
Retirement Planning QuickStart Guide
22.99 € -25 %
Buy
Polizia, crimine e ordine pubblico in epoca liberale. Il modello nazionale e il caso della Sicilia di fine Ottocento (1861-1914)
27.12 €
Buy
Team Member'S Guide to Project Management
9.87 €
Buy
Sententiae
17.44 € -2 %
Buy
Leading Issues in Competition, Regulation and Development
212.11 €
Buy
Philosophy of Marketing
988.27 € -9 %
Buy
Dissertation on the Soil and Agriculture of the British Settlement of Penang, or Prince of Wales Island, ... Including Province Wellesley on the Malay
28.03 € -9 %
Buy
The Love That Led Me Home
14.31 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 204 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Mathematical theory of computation

84.21 €

Full title: Static Analysis
Subtitle: 30th International Symposium, SAS 2023, Lisbon, Portugal, October 22-27, 2023, Proceedings
Author: Manuel V Hermenegildo, José F. Morales
Language: English
Binding: Paperback
Number of pages: 584
EAN: 9783031442445
ID: 43912484
Publisher: Springer, Berlin
Weight: 873 g
Dimensions: 235 × 155 mm
Published: 2023