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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 925 Ft
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 12 003 Ft
Reforzamiento estructural sismo resistente de viviendas informales en Bogota Pedro Andres Hendez / E-book Adobe ePub DRM
common.buy 1 745 Ft
Save me wyd. 2022 Mona Kasten / Book Paperback
common.buy 3 096 Ft
Obligaciones y contratos Rogel Vide / Book Paperback
common.buy 12 794 Ft
Salvia Divinorum Jochen Gartz / Book Paperback
common.buy 4 595 Ft
Top
Slovenské rozprávky 1 Pavol Dobšinský / Book Hardback
common.buy 4 900 Ft
Planet der Affen - Legacy Collection, 6 DVDs Marjorie Fowler / Video DVD
common.buy 8 880 Ft
Świat Chrystusa Tom 1 Roszkowski Wojciech / Book Hardback
common.buy 6 617 Ft

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 6 825 Ft
Violent Non-State Actors in Africa Dauda Abubakar / Book Paperback
common.buy 36 847 Ft
Top
BENNY GREB: THE LANGUAGE OF DRUMMING Benny Greb / Book Paperback
common.buy 9 070 Ft
Rose and the Dagger Renée Ahdiehová / Book Paperback
common.buy 4 872 Ft
Top
Land Of The Lustrous 1 Haruko Ichikawa / Book Paperback
common.buy 4 151 Ft
Better Angels of Our Nature Steven Pinker / Book Paperback
common.buy 8 042 Ft
RAGDOLL CATS AS PETS Lolly Brown / Book Paperback
common.buy 4 738 Ft
Top
Cheat Sheet of Italian Style Francesca Belluomini / Book Paperback
common.buy 6 164 Ft
Top
The Akashic Tarot Sharon A. Klingler / Printed items Cards
common.buy 8 260 Ft
The Periodic Table of Elements Coloring Book Teresa Bondora / Book Paperback
common.buy 5 692 Ft
Top
Daemonologie: A Critical Edition. Expanded. In Modern English with Notes King James / Book Paperback
common.buy 4 387 Ft
Top
Stolen Tongues Felix Blackwell / Book Paperback
common.buy 5 692 Ft
Affordable
Ritz London John Williams / Book Hardback
common.buy 11 004 Ft
Fruit of Knowledge Liv Strömquist / Book Paperback
common.buy 5 590 Ft
Essential Techniques of Landscape Drawing SUZANNE BROOKER / Book Hardback
common.buy 8 436 Ft
Top
Valerian: the Complete Collection Volume 1 Pierre Christin / Book Hardback
common.buy 11 901 Ft
On Earth We're Briefly Gorgeous Ocean Vuong / Book Hardback
common.buy 7 765 Ft
Lonely Planet Mauritius, Reunion & Seychelles Lonely Planet / Book Paperback
common.buy 11 018 Ft
Coming soon
Little Lift and Look Under the Sea Anna Milbourne / Book Board book
common.buy 2 508 Ft
Psychology of Intelligence Analysis Richards J. Heuer / Book Paperback
common.buy 7 380 Ft
Top
Infinite Powers: How Calculus Reveals the Secrets of the Universe Steven H. Strogatz / Book Paperback
common.buy 6 164 Ft
Night Watchman Louise Erdrich / Book Paperback
common.buy 4 285 Ft
Quit Like a Woman WHITAKER HOLLY GLENN / Book Paperback
common.buy 4 859 Ft
Cambridge Primary World English: Workbook Stage 4 Trish Burrow / Book Paperback
common.buy 5 840 Ft

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?