LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Static Analysis

26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Language EnglishEnglish
Book Paperback
Book Static Analysis Bor-Yuh Evan Chang
Libristo code: 24865025
Publishers Springer Nature Switzerland AG, October 2019
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysi... Full description
? points 136 b
19 928 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns


Customers also purchased


Tremors Sohn / Audio Audio CD
common.buy 6 470 Ft
Tanz um die Wahrheit Andreas Ecke / Book Paperback
common.buy 3 906 Ft
Vervehmt Becker August Becker / Book Paperback
common.buy 9 025 Ft
Gecmisin Yankisi Diana Gabaldon / Book Paperback
common.buy 7 747 Ft
Drogodependencias en el ámito de la Seguridad Humana Pellejero Rodríguez / Book Paperback
common.buy 15 675 Ft
LA TIENDA DE LOS MAPAS OLVIDADOS BACCALARIO / Book Paperback
common.buy 4 901 Ft
Saga Tom 9 Vaughan Brian K. / Book Hardback
common.buy 5 665 Ft
Erregung und Lähmung Max Verworn / Book Paperback
common.buy 18 813 Ft
Nagzira Vyankatesh Madgulkar / Book Paperback
common.buy 5 956 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Static Analysis
Language English
Binding Book - Paperback
Date of issue 2019
Number of pages 481
EAN 9783030323035
Libristo code 24865025
Weight 753
Dimensions 155 x 235 x 27
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Revising the Agenda WILLIAM G CARTER / Book Paperback
common.buy 7 396 Ft
Brideshead Revisited Evelyn Waugh / Audiobook MP3
common.buy 2 231 Ft
Top
Life Between the Tides Adam Nicolson / Book Paperback
common.buy 4 082 Ft
Networking Essentials JEFFREY S. BEASLEY / Book Paperback
common.buy 33 183 Ft
Coming soon
Experiences of Loveday Brooke, Lady Detective Catherine Louisa Pirkis / Book Paperback
common.buy 3 494 Ft
Decentralizing Energy Decisions Ellis Cose / Book Paperback
common.buy 23 510 Ft
Bunny Tales Collection Nicola Baxter / Book Paperback
common.buy 2 508 Ft
Blood Hold Kay Roxanna Kay / Book Paperback
common.buy 4 711 Ft
Flirting with Paradise Chris Keniston / Book Paperback
common.buy 3 874 Ft
Top
Zodiac Gestures in Eurythmy Werner Barfod / Book Paperback
common.buy 6 854 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?