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 Kurier 12.99 zł Punkt DPD 11.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: 252.6 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

Gwarancja
najlepszej
ceny ▸

252.60 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 14-21 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Neuronale Netze Heinrich Braun

Miękka

223.72 zł

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

Miękka

43.47 zł

Prise de bec Janer

Twarda

73.17 zł

DIFFERENCE CHANGEMENT EN THERAPIE BREVE DE SHAZER Książka

Miękka

92.97 zł

Civilisation planétaire Daniel Robin

Miękka

82.46 zł

Mein Taschencoach Susanne Marx

Miękka

31.53 zł

Subjektivierung 2.0 Tanja Carstensen

Miękka

187.38 zł

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

Miękka

100.63 zł

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

Miękka

96.34 zł

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

Karta

47.55 zł

Mobile Device Management Strategien Jan Hommes

Miękka

154.11 zł

Dr. Hakan Cokerle 100 soruda Dogal Dogum Hakan Coker

Miękka

56.84 zł

Modelagem de Conhecimento em t-Governo Paloma Maria Santos

Miękka

249.44 zł

Entdecke das Mittelalter Albrecht Classen

Twarda

61.43 zł

AMERICA DAVID MCCULLOUGH

Twarda

83.38 zł

Terapia logopedyczna Edyta Joanna Lichota

Miękka

46.53 zł

Hizir Dokunsun Dualarina Mustafa Kaya

Miękka

56.84 zł

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

Miękka

50.61 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.