Code: 24865025

Static Analysis

Name: Static Analysis
Brand: Springer Nature Switzerland AG
SKU: 24865025
Price: 51.53 EUR
Availability: InStock
Author: Bor-Yuh Evan Chang
ISBN: 9783030323035

by Bor-Yuh Evan Chang

Language: English
Binding: Paperback
Number of pages: 481
Publisher: Springer Nature Switzerland AG, 2019
More about this

51.53 €

RRP: 55.80 €

You save 4.27 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Zodiac Gestures in Eurythmy
18.04 € -25 %
Buy
Life Between the Tides
10.78 € -24 %
Buy
Experiences of Loveday Brooke, Lady Detective
9.27 € -24 %
Pre-order
Bunny Tales Collection
6.65 € -24 %
Buy
Networking Essentials
84.11 € -5 %
Buy
Saga Tom 9
15.93 € -4 %
Buy
Flirting with Paradise
9.27 € -25 %
Buy
LA TIENDA DE LOS MAPAS OLVIDADOS
12.40 € -26 %
Buy
Long-Term Treatment of Functional Psychoses
55.47 €
Buy
Create Togetherness: Transform Sales and Marketing to Exceed Modern Buyers' Expectations and Increase Revenue
14.01 € -6 %
Buy
Decentralizing Energy Decisions
62.83 €
Buy
Les superpouvoirs des plantes adaptogènes
25.21 €
Buy
Nagzira
14.82 € -1 %
Buy
Tanz um die Wahrheit
9.98 € -10 %
Buy
Advances In Coastal And Ocean Engineering, Vol 6
100.45 €
Buy
Erregung und Lähmung
52.84 € -3 %
Buy
Blood Hold
11.29 € -24 %
Buy
Vervehmt
23.19 € -11 %
Buy
Drogodependencias en el ámito de la Seguridad Humana
43.97 €
Buy
E. Don Harpe Presents DeJa Vu The Tropical Taboo Caper A Temple Mystery
6.34 € -7 %
Buy
Gecmisin Yankisi
20.06 € -4 %
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 125 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.

Book details

Book category Books in English Computing & information technology Computer programming / software development

51.53 €

Full title: Static Analysis
Subtitle: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings
Author: Bor-Yuh Evan Chang
Language: English
Binding: Paperback
Number of pages: 481
EAN: 9783030323035
ID: 24865025
Publisher: Springer Nature Switzerland AG
Weight: 753 g
Dimensions: 235 × 155 × 27 mm
Date of publishing: 06. October 2019