Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Static Analysis

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Static Analysis Hanne Riis Nielson
Libristo-code: 01568998
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2007
This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Volledige beschrijving
? points 125 b
51.68 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

La beauté du geste Rey / Boek Gebonden (paperback)
common.buy 19.41 €
TOP
Tomke gräbt Julia Dürr / Boek Gebonden (harde band)
common.buy 14.46 €
Discorsi di genere nelle politiche egiziane Haytham Mones / Boek Gebonden (paperback)
common.buy 32.06 €
Economía y sostenibilidad en la Amazonia Aurisa Paiva / Boek Gebonden (paperback)
common.buy 64.02 €
Voordelig
Lie Down In The Light Bonnie 'Prince' Billy / Audio Audio cd
common.buy 9.40 €
Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller / Boek Gebonden (paperback)
common.buy 67.46 €
Diario de Campana Jose Marti y Perez / E-book Adobe ePub DRM
common.buy 1.10 €
Ernst Jünger Helmuth Kiesel / Boek Gebonden (paperback)
common.buy 17.49 €
Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen / Boek Gebonden (paperback)
common.buy 7.68 €
EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES / Boek Gebonden (paperback)
common.buy 22.35 €
Hitze Sina de Malafosse / Boek Gebonden (paperback)
common.buy 11.42 €
ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Drukwerk Bladmuziek
common.buy 19.72 €
The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff / Boek Gebonden (paperback)
common.buy 13.95 €
Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne / Boek Gebonden (paperback)
common.buy 21.64 €
Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa / Boek Gebonden (harde band)
common.buy 83.34 €
Staudinger BGB §§ 883-902 Karl-Heinz Gursky / Boek Gebonden (harde band)
common.buy 316.41 €
Qualitative Sozialforschung Thomas Heinze / Boek Gebonden (paperback)
common.buy 37.82 €
SAN JUDAS 27 (La catedral del dolor) / Boek Gebonden (paperback)
common.buy 22.35 €
Germanen und Slaven Georg Buschan / Boek Gebonden (paperback)
common.buy 11.72 €
Horoskopdeutung für den Vater Sina Nuêmo / Boek Gebonden (paperback)
common.buy 17.89 €
Es werde Licht Frido Mann / Boek Gebonden (paperback)
common.buy 13.54 €
Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer / Video Dvd
common.buy 16.58 €
Struttura Dell'Anima Jeffrey Wolf Green / Boek Gebonden (paperback)
common.buy 23.15 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Static Analysis
Auteur Hanne Riis Nielson, Gilberto Filé
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2007
Aantal pagina's 469
EAN 9783540740605
ISBN 3540740600
Libristo-code 01568998
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 741
Afmetingen 155 x 235 x 27

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Maudsley Practice Guidelines for Physical Health Conditions in Psychiatry David Taylor / Boek Gebonden (paperback)
common.buy 60.08 €
TOP
March of Folly Barbara Wertheim Tuchman / Boek Gebonden (paperback)
common.buy 19.41 €
Paine Field Steve K. Bertrand / Boek Gebonden (paperback)
common.buy 20.83 €
Nols Bear Essentials John Gookin / Boek Gebonden (paperback)
common.buy 9.09 €
I Love You Every Second Sandra A. Hinds / Boek Gebonden (paperback)
common.buy 21.23 €
Recollections of Siberia Charles Herbert Cottrell / Boek Gebonden (harde band)
common.buy 38.23 €
Hunger Knut Hamsun / Boek Gebonden (paperback)
common.buy 8.08 €
Reconstructive Oral and Maxillofacial Surgery Carlos Navarro Vila / Boek Gebonden (paperback)
common.buy 120.87 €
Children of Morwena Helene Smith / Boek Gebonden (paperback)
common.buy 13.75 €
Wordt verwacht
Swiss Neutrality EDGAR / Boek Gebonden (paperback)
common.buy 58.86 €
Transformative Witchcraft Jason Mankey / Boek Gebonden (paperback)
common.buy 20.02 €
ESSAYS ON THE APOCALYPSE, WITH ILLUSTRAT RICHARD B SANDERSON / Boek Gebonden (harde band)
common.buy 33.57 €
Histoire du Théatre Français, Depuis le Commencement de la Révolution Jusqu'? la Réunion Générale C. G. Etienne / Boek Gebonden (paperback)
common.buy 21.23 €
TOP
Middle Ages Eleanor Janega / Boek Gebonden (paperback)
common.buy 18.10 €
Mixed Race Student Politics James Ong / Boek Gebonden (paperback)
common.buy 15.57 €
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 / Boek Gebonden (paperback)
common.buy 34.28 €
Modeling Economic Instability Michaël Assous / Boek Gebonden (harde band)
common.buy 113.29 €
TOP
Virginia Woolf Collection Virginia Woolf / Boek Gebonden (paperback)
common.buy 36.91 €
Swami Vivekananda Info Edge / Boek Gebonden (paperback)
common.buy 15.57 €
French Windows Louise Rogers Lalaurie / Boek Gebonden (harde band)
common.buy 18.10 €
Data Communications & Networks - An Engineering Approach David Harle / Boek Gebonden (harde band)
common.buy 80.81 €
Diagnostic Function Tests in Chemical Pathology P.T. Lascelles / Boek Gebonden (paperback)
common.buy 113.29 €
Temperature- and Supply Voltage-Independent Time References for Wireless Sensor Networks, 1 Valentijn De Smedt / Boek Gebonden (harde band)
common.buy 102.97 €
Silent Ones William Brodrick / Boek Gebonden (paperback)
common.buy 12.23 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?