Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Static Analysis

23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings

Language EnglishEnglish
Book Paperback
Book Static Analysis Xavier Rival
Libristo code: 13788792
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2016
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium,... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Parellelverarbeitung von Leuchtdichte und Interaktion mit Orientierung Alexandra Grodon / Book Paperback
common.buy 33.82 €
Reforzamiento estructural sismo resistente de viviendas informales en Bogota Pedro Andres Hendez / E-book Adobe ePub DRM
common.buy 4.95 €
Save me wyd. 2022 Mona Kasten / Book Paperback
common.buy 8.70 €
Obligaciones y contratos Rogel Vide / Book Paperback
common.buy 36.05 €
Salvia Divinorum Jochen Gartz / Book Paperback
common.buy 12.95 €
Planet der Affen - Legacy Collection, 6 DVDs Marjorie Fowler / Video DVD
common.buy 25.01 €
Świat Chrystusa Tom 1 Roszkowski Wojciech / Book Hardback
common.buy 18.63 €

This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016. The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.

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
Author Xavier Rival
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 511
EAN 9783662534120
ISBN 3662534126
Libristo code 13788792
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 795
Dimensions 155 x 235 x 30

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

Four Pillars of Spiritual Transformation Muhyiddin Ibn Arabi / Book Paperback
common.buy 18.12 €
Violent Non-State Actors in Africa Dauda Abubakar / Book Paperback
common.buy 95.90 €
Top
BENNY GREB: THE LANGUAGE OF DRUMMING Benny Greb / Book Paperback
common.buy 24.70 €
Rose and the Dagger Renée Ahdiehová / Book Paperback
common.buy 13.97 €
Top
Land Of The Lustrous 1 Haruko Ichikawa / Book Paperback
common.buy 10.62 €
Better Angels of Our Nature Steven Pinker / Book Paperback
common.buy 21.26 €
RAGDOLL CATS AS PETS Lolly Brown / Book Paperback
common.buy 12.35 €
Top
Cheat Sheet of Italian Style Francesca Belluomini / Book Paperback
common.buy 15.79 €
Top
The Akashic Tarot Sharon A. Klingler / Printed items Cards
common.buy 21.16 €
The Periodic Table of Elements Coloring Book Teresa Bondora / Book Paperback
common.buy 14.88 €
Top
Daemonologie: A Critical Edition. Expanded. In Modern English with Notes King James / Book Paperback
common.buy 11.43 €
Top
Stolen Tongues Felix Blackwell / Book Paperback
common.buy 14.88 €
Affordable
Ritz London John Williams / Book Hardback
common.buy 30.98 €
Fruit of Knowledge Liv Strömquist / Book Paperback
common.buy 14.17 €
Essential Techniques of Landscape Drawing SUZANNE BROOKER / Book Hardback
common.buy 22.88 €
Top
Valerian: the Complete Collection Volume 1 Pierre Christin / Book Hardback
common.buy 30.58 €
On Earth We're Briefly Gorgeous Ocean Vuong / Book Hardback
common.buy 19.64 €
Lonely Planet Mauritius, Reunion & Seychelles Lonely Planet / Book Paperback
common.buy 31.08 €
Coming soon
Little Lift and Look Under the Sea Anna Milbourne / Book Board book
common.buy 6.67 €
Psychology of Intelligence Analysis Richards J. Heuer / Book Paperback
common.buy 19.44 €
Top
Infinite Powers: How Calculus Reveals the Secrets of the Universe Steven H. Strogatz / Book Paperback
common.buy 15.79 €
Night Watchman Louise Erdrich / Book Paperback
common.buy 10.83 €
Quit Like a Woman WHITAKER HOLLY GLENN / Book Paperback
common.buy 12.24 €
Cambridge Primary World English: Workbook Stage 4 Trish Burrow / Book Paperback
common.buy 15.79 €

Login

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

 
mandatory
mandatory
Forgotten password

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?