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 9.99 €
phone Contact phoneHow to shop

Static Analysis

14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Language EnglishEnglish
Book Paperback
Book Static Analysis Hanne Riis Nielson
Libristo code: 01568998
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, August 2007
This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Full description
? points 125 b
51.78 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

La beauté du geste Rey / Book Paperback
common.buy 19.35 €
Top
Tomke gräbt Julia Dürr / Book Hardback
common.buy 14.48 €
Discorsi di genere nelle politiche egiziane Haytham Mones / Book Paperback
common.buy 32.12 €
Economía y sostenibilidad en la Amazonia Aurisa Paiva / Book Paperback
common.buy 64.14 €
Affordable
Lie Down In The Light Bonnie 'Prince' Billy / Audio Audio CD
common.buy 12.46 €
Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller / Book Paperback
common.buy 67.59 €
Diario de Campana Jose Marti y Perez / E-book Adobe ePub DRM
common.buy 1.10 €
Ernst Jünger Helmuth Kiesel / Book Paperback
common.buy 17.52 €
Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen / Book Paperback
common.buy 7.69 €
EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES / Book Paperback
common.buy 20.56 €
Hitze Sina de Malafosse / Book Paperback
common.buy 11.44 €
ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Printed items Sheet music
common.buy 19.65 €
The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff / Book Paperback
common.buy 13.98 €
Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne / Book Paperback
common.buy 21.58 €
Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa / Book Hardback
common.buy 83.50 €
Staudinger BGB §§ 883-902 Karl-Heinz Gursky / Book Hardback
common.buy 317.00 €
Qualitative Sozialforschung Thomas Heinze / Book Paperback
common.buy 37.89 €
SAN JUDAS 27 (La catedral del dolor) / Book Paperback
common.buy 22.39 €
Germanen und Slaven Georg Buschan / Book Paperback
common.buy 11.75 €
Horoskopdeutung für den Vater Sina Nuêmo / Book Paperback
common.buy 17.93 €
Es werde Licht Frido Mann / Book Paperback
common.buy 13.57 €
Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer / Video DVD
common.buy 16.61 €
Struttura Dell'Anima Jeffrey Wolf Green / Book Paperback
common.buy 23.20 €

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysis, SAS 2007, held in Kongens Lyngby, Denmark in August 2007 - co-located with LOPSTR 2007, the International Symposium on Logic-based Program Synthesis and Transformation and PLID 2007, the International Workshop on Programming Language Interference and Dependence.§The 22 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 85 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimisations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems.

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 Hanne Riis Nielson, Gilberto Filé
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 469
EAN 9783540740605
ISBN 3540740600
Libristo code 01568998
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 741
Dimensions 155 x 235 x 27

Categories

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
Computing & Information Technology > Operating systems
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

Maudsley Practice Guidelines for Physical Health Conditions in Psychiatry David Taylor / Book Paperback
common.buy 57.76 €
Top
March of Folly Barbara Wertheim Tuchman / Book Paperback
common.buy 19.45 €
Paine Field Steve K. Bertrand / Book Paperback
common.buy 20.87 €
Nols Bear Essentials John Gookin / Book Paperback
common.buy 9.11 €
I Love You Every Second Sandra A. Hinds / Book Paperback
common.buy 21.27 €
Recollections of Siberia Charles Herbert Cottrell / Book Hardback
common.buy 38.30 €
Hunger Knut Hamsun / Book Paperback
common.buy 8.10 €
Reconstructive Oral and Maxillofacial Surgery Carlos Navarro Vila / Book Paperback
common.buy 121.10 €
Children of Morwena Helene Smith / Book Paperback
common.buy 13.77 €
Coming soon
Swiss Neutrality EDGAR / Book Paperback
common.buy 61.81 €
Transformative Witchcraft Jason Mankey / Book Paperback
common.buy 20.06 €
ESSAYS ON THE APOCALYPSE, WITH ILLUSTRAT RICHARD B SANDERSON / Book Hardback
common.buy 33.64 €
Histoire du Théatre Français, Depuis le Commencement de la Révolution Jusqu'? la Réunion Générale C. G. Etienne / Book Paperback
common.buy 21.27 €
Top
Middle Ages Eleanor Janega / Book Paperback
common.buy 18.13 €
Mixed Race Student Politics James Ong / Book Paperback
common.buy 15.60 €
Memoirs of the Life and Writings of James Montgomery: Including Selections from His Correspondence, Remains in Prose and Verse, and Conversations on V James Montgomery / Book Paperback
common.buy 34.35 €
Modeling Economic Instability Michaël Assous / Book Hardback
common.buy 113.50 €
Top
Virginia Woolf Collection Virginia Woolf / Book Paperback
common.buy 36.88 €
Swami Vivekananda Info Edge / Book Paperback
common.buy 15.60 €
French Windows Louise Rogers Lalaurie / Book Hardback
common.buy 18.13 €
Data Communications & Networks - An Engineering Approach David Harle / Book Hardback
common.buy 80.97 €
Diagnostic Function Tests in Chemical Pathology P.T. Lascelles / Book Paperback
common.buy 113.50 €
Temperature- and Supply Voltage-Independent Time References for Wireless Sensor Networks, 1 Valentijn De Smedt / Book Hardback
common.buy 103.16 €
Silent Ones William Brodrick / Book Paperback
common.buy 11.85 €

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?