Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Static Analysis

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

Język

Angielski

Książka Miękka

Kod Libristo: 01568998

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, sierpień 2007

This book constitutes the refereed proceedings of the 14th International Symposium on Static Analysi... Cały opis

Kod Libristo: 01568998

125 b

219.03 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Hitze Sina de Malafosse

Miękka

48.38 zł

The Book of Nathan the Prophet: Telugu Translation Ti Burtzloff

Miękka

59.02 zł

Tomke gräbt Julia Dürr

Twarda

61.32 zł

Discorsi di genere nelle politiche egiziane Haytham Mones

Miękka

136.11 zł

Economía y sostenibilidad en la Amazonia Aurisa Paiva

Miękka

271.63 zł

Struttura Dell'Anima Jeffrey Wolf Green

Miękka

98.27 zł

Methodologie Und Praxis Der Wissenssoziologischen Diskursanalyse Reiner Keller

Miękka

286.09 zł

Ernst Jünger Helmuth Kiesel

Miękka

74.07 zł

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

Miękka

32.41 zł

Lie Down In The Light Bonnie 'Prince' Billy

CD Audio

39.94 zł

EL ANTIGUO EGIPTO CORDON Y SOLA-SAGALES

Miękka

94.75 zł

Es werde Licht Frido Mann

Miękka

57.51 zł

ALTFRANZOSISCHE DUETTE 2 VIOLONS ELMA DOFLEIN Prasa

Nuty

84.11 zł

La beauté du geste Rey

Miękka

82.71 zł

Qualitative Sozialforschung Thomas Heinze

Miękka

160.51 zł

Germanen und Slaven Georg Buschan

Miękka

49.58 zł

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

Miękka

91.84 zł

Mentale Prozesse Beim Hoerverstehen in Der Fremdsprache Henning Rossa

Twarda

353.45 zł

Staudinger BGB §§ 883-902 Karl-Heinz Gursky

Twarda

1 341.54 zł

Die Sendung der Lysistrata, 3 DVDs Klaus Dudenhöfer

DVD

70.46 zł

SAN JUDAS 27 (La catedral del dolor)

Miękka

94.75 zł

Horoskopdeutung für den Vater Sina Nuêmo

Miękka

75.68 zł

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.