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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Static Analysis

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Static Analysis Antoine Mine
Libristo-code: 01662058
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augustus 2012
This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Sta... Volledige beschrijving
? points 125 b
51.69 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

ANNALES BAC 2011 SC ECO ES OBL Cécile Bouquillion / Boek Gebonden (paperback)
common.buy 9.80 €
La segunda nakba palestina Safa / Boek Gebonden (paperback)
common.buy 25.28 €
Powieści Marguerite Duras Stekolshchikova Irina Stekolshchikova / Boek Gebonden (paperback)
common.buy 46.73 €
wols / catalogue de l'exposition Sous la direction de anne montfort / Boek Boek
common.buy 50.28 €
Diego Rivera TIBOL / Boek Gebonden (harde band)
common.buy 51.29 €
Études phytochimiques et FT-IR chez Axonopus compressus (Poaceae) Lakshmi Pillai / Boek Gebonden (paperback)
common.buy 39.25 €
scambio John Grisham / Boek Gebonden (harde band)
common.buy 25.08 €
Alfa Romeo Schrauberhandbuch Pat Braden / Boek Gebonden (harde band)
common.buy 49.47 €
Optische Rhetorik Peter Mohr / Boek Gebonden (paperback)
common.buy 26.80 €
Les outils qualitatifs en géographie - 2e éd. Marianne Morange / Boek Gebonden (paperback)
common.buy 30.95 €
Schattenvolk Viola Huber / Boek Gebonden (paperback)
common.buy 17.90 €
Foucaults soziohistorische Theorie der Biomacht und die Eugenik Konrad Kalisch / Boek Gebonden (paperback)
common.buy 25.08 €
Memoires de Vidocq, Chef de la Police de Surete Jusqu'en 1827. Tome 4 VIDOCQ-F / Boek Gebonden (paperback)
common.buy 30.24 €
Luc Van Tien CA Dien (Ed.1883) Dinh Chieu Nguyen / Boek Gebonden (paperback)
common.buy 29.43 €
Österreichisches Wohnrecht. Kommentar Till Hausmann / Boek Blad
common.buy 188.08 €
Triada, Predestinación Laura Gallego / Boek Gebonden (paperback)
common.buy 15.67 €
La conspiración contra la especie humana THOMAS LIGOTTI / Boek Gebonden (paperback)
common.buy 21.54 €
El libro de los besos y la niebla Xosé Carlos Caneiro / Boek Gebonden (paperback)
common.buy 19.82 €
Iluminacion Evolutiva: Un Nuevo Camino Hacia el Despertar Espiritual = Evolutionary Illumination Andrew Cohen / Boek Gebonden (paperback)
common.buy 16.99 €
Kleine Träume Beate Bode-Buchner / Boek Gebonden (harde band)
common.buy 20.63 €
Puzzle 20 maxi Trzy małe świnki C-02399 / Boek binding.
common.buy 8.89 €
Frozen Planet, The Blue Planet, Planet Earth: Das Klavieralbum George Fenton / Boek Gebonden (paperback)
common.buy 19.92 €
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 / Boek Gebonden (paperback)
common.buy 23.77 €
Los puritanos y otros cuentos Armando Palacio Valdes / Boek Gebonden (paperback)
common.buy 7.68 €

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.

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 Antoine Mine, David Schmidt
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 457
EAN 9783642331244
ISBN 3642331246
Libristo-code 01662058
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 718
Afmetingen 155 x 235 x 26

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
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
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

Token for Mourners JOHN FLAVEL / Boek Gebonden (harde band)
common.buy 30.75 €
Works of Lord Byron, Volume 2 Ernest Hartley Coleridge / Boek Gebonden (harde band)
common.buy 40.16 €
Sermons on the First Readings, Series II, Cycle B Schuyler Rhodes / Boek Gebonden (paperback)
common.buy 38.24 €
The Battle for the Mind Kenneth Wayne Gilmore / Boek Gebonden (paperback)
common.buy 10.82 €
Common Formative Assessment: A Toolkit for Professional Learning Communities at Work Kim Bailey / Boek Gebonden (paperback)
common.buy 35.00 €
TOP
Coraline Graphic Novel Neil Gaiman / Boek Gebonden (paperback)
common.buy 12.84 €
How to Draw Barnyard Animals and Farm Friends! Activity Book CREATIVE PLAYBOOKS / Boek Gebonden (paperback)
common.buy 8.69 €
Little Music Lessons for Kids: Lesson 1: A Fascinating Story about the Staff and Treble Clef Tatiana Bandurina / Boek Gebonden (paperback)
common.buy 12.13 €
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 / Boek Gebonden (paperback)
common.buy 25.99 €
Antithesis Ricky Dee / Boek Gebonden (paperback)
common.buy 14.76 €
Excel in CRE Livinus Wesonga / Boek Gebonden (paperback)
common.buy 14.86 €
Healing the Broken Brain Dr Mike Dow / Boek Gebonden (paperback)
common.buy 14.86 €
They Say I've Had a Stroke: A Stroke Survivor's Journey Elleigh Lee / Boek Gebonden (paperback)
common.buy 28.32 €
The Fowl Twins Eoin Colfer / Boek Gebonden (harde band)
common.buy 30.14 €
An Introduction to Waste Stream Treatment by Precipitation J. Paul Guyer / Boek Gebonden (paperback)
common.buy 27.41 €
Introduction to Criminology Michael Rowe / Boek Gebonden (harde band)
common.buy 186.97 €
Goblin Slayer, Vol. 13 (light novel) Kumo Kagyu / Boek Gebonden (paperback)
common.buy 14.05 €
The Lost Heir (Wings of Fire #2) SUTHERLAND TUI T / Boek Gebonden (paperback)
common.buy 7.68 €
A Challenge to Adventure Alice Turner Curtis / Boek Gebonden (harde band)
common.buy 34.49 €
Computer Aided Constellation Management and Communication Satellites Daljeet Singh / Boek Gebonden (paperback)
common.buy 287.94 €
TOP
Obey Shepard Fairey / Boek Gebonden (harde band)
common.buy 37.83 €
Snowflakes, Cakes and Royal Mistakes Elizabeth Heathly / Boek Gebonden (paperback)
common.buy 15.57 €
Science Studies Reader Mario Biagioli / Boek Gebonden (harde band)
common.buy 244.44 €
Nelson Thornes Framework English Skills in Fiction 2 Wendy Wren / Boek Gebonden (paperback)
common.buy 30.44 €

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?