Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Static Analysis

Name: Static Analysis
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568998
Price: 54.42 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é

Език

Английски език

Книга С меки корици

Код Либристо: 01568998

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, август 2007

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Цялото описание

Код Либристо: 01568998

132 b

54.42 €

106.43 лв

Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Hitze Sina de Malafosse

С меки корици

12.05 € 23.56 лв

The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff

С меки корици

13.91 € 27.21 лв

Tomke gräbt Julia Dürr

С твърди корици

15.36 € 30.04 лв

Discorsi di genere nelle politiche egiziane Haytham Mones

С меки корици

34.03 € 66.57 лв

Economía y sostenibilidad en la Amazonia Aurisa Paiva

С меки корици

67.82 € 132.64 лв

Struttura Dell'Anima Jeffrey Wolf Green

С меки корици

23.17 € 45.32 лв

Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller

С меки корици

71.13 € 139.11 лв

Ernst Jünger Helmuth Kiesel

С меки корици

18.57 € 36.31 лв

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

С меки корици

7.65 € 14.96 лв

Lie Down In The Light Bonnie 'Prince' Billy

Аудио компактдиск

9.41 € 18.40 лв

EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES

С меки корици

24.05 € 47.04 лв

Es werde Licht Frido Mann

С меки корици

14.38 € 28.12 лв

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Печатни материали

Ноти

20.69 € 40.46 лв

La beauté du geste Rey

С меки корици

20.33 € 39.75 лв

Qualitative Sozialforschung Thomas Heinze

С меки корици

39.93 € 78.10 лв

Germanen und Slaven Georg Buschan

С меки корици

12.41 € 24.27 лв

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

С меки корици

22.60 € 44.21 лв

Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa

С твърди корици

87.32 € 170.78 лв

Staudinger BGB §§ 883-902 Karl-Heinz Gursky

С твърди корици

333.10 € 651.48 лв

Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer

DVD

17.38 € 33.99 лв

SAN JUDAS 27 (La catedral del dolor)

С меки корици

23.58 € 46.13 лв

Horoskopdeutung für den Vater Sina Nuêmo

С меки корици

18.88 € 36.92 лв

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.