Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568998
Price: 51.69 EUR
Availability: InStock
Author: Hanne Riis Nielson
ISBN: 9783540740605

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

Hanne Riis Nielson

Gilberto Filé

Taal

Engels

Boek Gebonden (paperback)

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

Libristo-code: 01568998

125 b

51.69 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Hitze Sina de Malafosse

Gebonden (paperback)

11.42 €

The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff

Gebonden (paperback)

13.95 €

Tomke gräbt Julia Dürr

Gebonden (harde band)

14.46 €

Discorsi di genere nelle politiche egiziane Haytham Mones

Gebonden (paperback)

32.06 €

Economía y sostenibilidad en la Amazonia Aurisa Paiva

Gebonden (paperback)

64.04 €

Struttura Dell'Anima Jeffrey Wolf Green

Gebonden (paperback)

23.16 €

Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller

Gebonden (paperback)

67.48 €

Ernst Jünger Helmuth Kiesel

Gebonden (paperback)

17.49 €

Einhorn Malbuch: Band 1 - Von 4 bis 8 Jahren - 50 Einhornzeichnungen - Großformat, 21,6 x 28 cm Meine Feenwelt Malvorlagen

Gebonden (paperback)

7.68 €

Lie Down In The Light Bonnie 'Prince' Billy

Audio cd

9.40 €

EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES

Gebonden (paperback)

22.35 €

Es werde Licht Frido Mann

Gebonden (paperback)

13.55 €

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Drukwerk

Bladmuziek

19.82 €

La beauté du geste Rey

Gebonden (paperback)

19.52 €

Qualitative Sozialforschung Thomas Heinze

Gebonden (paperback)

37.83 €

Germanen und Slaven Georg Buschan

Gebonden (paperback)

11.73 €

Barth'l'my Styx T1: La Mer Aux Esprits Rossi Anne

Gebonden (paperback)

21.64 €

Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa

Gebonden (harde band)

87.31 €

Staudinger BGB §§ 883-902 Karl-Heinz Gursky

Gebonden (harde band)

316.48 €

Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer

Dvd

16.58 €

SAN JUDAS 27 (La catedral del dolor)

Gebonden (paperback)

22.35 €

Horoskopdeutung für den Vater Sina Nuêmo

Gebonden (paperback)

17.90 €

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

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