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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 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

19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings

Language EnglishEnglish
Book Paperback
Book Static Analysis Antoine Mine
Libristo code: 01662058
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2012
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Sta... Full description
? points 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Diego Rivera TIBOL / Book Hardback
common.buy 18 201 Ft
Puzzle 20 maxi Trzy małe świnki C-02399 / Book binding.
common.buy 3 166 Ft
Mes livres mon carnet de lecture Marisol Liasu / Book Paperback
common.buy 3 795 Ft
Triada, Predestinación Laura Gallego / Book Paperback
common.buy 5 583 Ft
BABADADA, Cymraeg - Schwiizerdutsch, geiriadur lluniau - Bildwoerterbuech Babadada Gmbh / Book Paperback
common.buy 10 875 Ft
Les outils qualitatifs en géographie - 2e éd. Marianne Morange / Book Paperback
common.buy 11 097 Ft
Nebe voní tebou Eva Hrašková / Book Hardback
common.buy 3 795 Ft
Creation du Boxeur Ultime: Apprenez les secrets et les astuces utilises par les meilleurs boxeurs et entraineurs professionnels pour ameliorer vo Correa (Athlete Professionnel Et Entrain / Book Paperback
common.buy 9 133 Ft
Iluminacion Evolutiva: Un Nuevo Camino Hacia el Despertar Espiritual = Evolutionary Illumination Andrew Cohen / Book Paperback
common.buy 6 055 Ft
El libro de los besos y la niebla Xosé Carlos Caneiro / Book Paperback
common.buy 7 062 Ft
La conspiración contra la especie humana THOMAS LIGOTTI / Book Paperback
common.buy 8 837 Ft
Österreichisches Wohnrecht. Kommentar Till Hausmann / Book Sheet
common.buy 72 591 Ft
Lettres Historiques Sur Tous Les Spectacles de Paris, (Ed.1719) Nicolas Boindin / Book Paperback
common.buy 9 997 Ft
Luc Van Tien CA Dien (Ed.1883) Dinh Chieu Nguyen / Book Paperback
common.buy 11 887 Ft
Optische Rhetorik Peter Mohr / Book Paperback
common.buy 10 404 Ft
Schattenvolk Viola Huber / Book Paperback
common.buy 6 961 Ft
Foucaults soziohistorische Theorie der Biomacht und die Eugenik Konrad Kalisch / Book Paperback
common.buy 9 715 Ft

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including 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 Antoine Mine, David Schmidt
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 457
EAN 9783642331244
ISBN 3642331246
Libristo code 01662058
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 718
Dimensions 155 x 235 x 26

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
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

How to Draw Barnyard Animals and Farm Friends! Activity Book CREATIVE PLAYBOOKS / Book Paperback
common.buy 3 342 Ft
Computer Aided Constellation Management and Communication Satellites Daljeet Singh / Book Paperback
common.buy 110 934 Ft
The Battle for the Mind Kenneth Wayne Gilmore / Book Paperback
common.buy 4 178 Ft
Common Formative Assessment: A Toolkit for Professional Learning Communities at Work Kim Bailey / Book Paperback
common.buy 12 137 Ft
Top
Goblin Slayer, Vol. 13 (light novel) Kumo Kagyu / Book Paperback
common.buy 4 867 Ft
Top Coming soon
Coraline Graphic Novel Neil Gaiman / Book Paperback
common.buy 3 120 Ft
Introduction to Criminology Michael Rowe / Book Hardback
common.buy 63 273 Ft
Healing the Broken Brain Dr Mike Dow / Book Paperback
common.buy 5 731 Ft
A Challenge to Adventure Alice Turner Curtis / Book Hardback
common.buy 13 177 Ft
Little Music Lessons for Kids: Lesson 1: A Fascinating Story about the Staff and Treble Clef Tatiana Bandurina / Book Paperback
common.buy 4 645 Ft
Little Music Lessons for Kids: Lessons 1-2-3: Three Cheerful Music Stories about a Staff, a Treble Clef and the Line Notes Tatiana Bandurina / Book Paperback
common.buy 9 997 Ft
Antithesis Ricky Dee / Book Paperback
common.buy 5 671 Ft
Excel in CRE Livinus Wesonga / Book Paperback
common.buy 5 703 Ft
An Introduction to Waste Stream Treatment by Precipitation J. Paul Guyer / Book Paperback
common.buy 10 538 Ft
Token for Mourners JOHN FLAVEL / Book Hardback
common.buy 11 726 Ft
They Say I've Had a Stroke: A Stroke Survivor's Journey Elleigh Lee / Book Paperback
common.buy 10 875 Ft
The Fowl Twins Eoin Colfer / Book Hardback
common.buy 10 875 Ft
PLAY BETTER TENNIS IN TWO HOURS Oscar Wegner / Book Paperback
common.buy 8 809 Ft
Top
Obey Shepard Fairey / Book Hardback
common.buy 14 758 Ft
Dialect Change Peter AuerFrans HinskensPaul Kerswill / Book Paperback
common.buy 23 992 Ft
Mapai in Israel: Political Organisation and Government in a New Society Peter Y. Medding / Book Paperback
common.buy 18 321 Ft
Chioggia and the Villages of the Venetian Lagoon Richard J. Goy / Book Hardback
common.buy 36 083 Ft
Darwinism and its Discontents Michael Ruse / Book Paperback
common.buy 13 833 Ft
Rita Moreno Rita Moreno / Book Paperback
common.buy 8 809 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?