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: 01656632
Price: 58.63 EUR
Availability: InStock
Author: Radhia Cousot
ISBN: 9783642157684

17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010, Proceedings

Radhia Cousot

Matthieu Martel

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01656632

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, september 2010

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi... Volledige beschrijving

Libristo-code: 01656632

142 b

58.63 €

In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Neuronale Netze Heinrich Braun

Gebonden (paperback)

51.95 €

Entdecke das Mittelalter Albrecht Classen

Gebonden (harde band)

14.27 €

Civilisation planétaire Daniel Robin

Gebonden (paperback)

19.33 €

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Boek

Gebonden (paperback)

21.77 €

Prise de bec Janer

Gebonden (harde band)

17.21 €

Subjektivierung 2.0 Tanja Carstensen

Gebonden (paperback)

43.54 €

BAÑOS DE BOSQUE. 50 RUTAS PARA SENTIR LA NATURALEZA ALEX GESSE

Gebonden (paperback)

26.02 €

Mein Taschencoach Susanne Marx

Gebonden (paperback)

7.28 €

Goethe ALS Geschichtsphilosoph Und Die Geschichtsphilosophische Bewegung Seiner Zeit Emil Menke-Glückert

Gebonden (paperback)

22.37 €

Flex und Flo - Ausgabe 2014. Themenheft.2 Judith Beerbaum

Blad

11.03 €

Mobile Device Management Strategien Jan Hommes

Gebonden (paperback)

35.74 €

AMERICA DAVID MCCULLOUGH

Gebonden (harde band)

21.56 €

Izraelská lobby a americká zahraniční politika John J. Mearsheimer

Gebonden (paperback)

10.73 €

Terapia logopedyczna Edyta Joanna Lichota

Gebonden (paperback)

12.55 €

Hizir Dokunsun Dualarina Mustafa Kaya

Gebonden (paperback)

13.16 €

Reponse d'Un Electeur A Un Ancien Constituant Gaulier-A

Gebonden (paperback)

13.66 €

This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2010, held in Perpignan, France in September 2010. The conference was co-located with 3 affiliated workshops: NSAD 2010 (Workshop on Numerical and Symbolic Abstract Domains), SASB 2010 (Workshop on Static Analysis and Systems Biology) and TAPAS 2010 (Tools for Automatic Program Analysis).§The 22 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 58 submissions. The papers address all aspects of static analysis including abstract domains, bug detection, data flow analysis, logic programming, systems analysis, type inference, cache analysis, flow analysis, verification, abstract testing, compiler optimization and program verification.

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 Radhia Cousot, Matthieu Martel

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2010

Aantal pagina's 473

EAN 9783642157684

ISBN 3642157688

Libristo-code 01656632

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 727

Afmetingen 157 x 235 x 28

Categorieën

Informatica en informatietechnologie > Grafische en digitale media-applicaties > 3D graphics en modellering

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren

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