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 :-(

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

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

Radhia Cousot

Matthieu Martel

Język

Angielski

Książka Miękka

Kod Libristo: 01656632

Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, wrzesień 2010

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

Kod Libristo: 01656632

142 b

248.40 zł

Dostępna u dostawcy Wysyłamy za 9-15 dni

30 dni na zwrot towaru

Klienci kupili także

Neuronale Netze Heinrich Braun

Miękka

220.00 zł

Entdecke das Mittelalter Albrecht Classen

Twarda

74.76 zł

Civilisation planétaire Daniel Robin

Miękka

81.99 zł

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Książka

Miękka

92.33 zł

Prise de bec Janer

Twarda

72.66 zł

Subjektivierung 2.0 Tanja Carstensen

Miękka

184.27 zł

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

Miękka

110.19 zł

Mein Taschencoach Susanne Marx

Miękka

31.00 zł

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

Miękka

94.74 zł

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

Karta

46.76 zł

Mobile Device Management Strategien Jan Hommes

Miękka

151.55 zł

AMERICA DAVID MCCULLOUGH

Twarda

91.42 zł

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

Miękka

42.75 zł

Terapia logopedyczna Edyta Joanna Lichota

Miękka

45.56 zł

Hizir Dokunsun Dualarina Mustafa Kaya

Miękka

55.90 zł

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

Miękka

58.00 zł

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.