Kniha Static Analysis Radhia Cousot

Static Analysis

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

Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
54.29
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2010
Stránok
473
EAN
9783642157684
ISBN
3642157688
Enbook ID
01656632
Hmotnosť
727
Rozmery
157 x 235 x 28

Kompletný popis

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.

Mohlo by vás zaujímať

Business Process Management

Wil M.P. van der Aalst
50.08
13.62

Cryptids

GUY BLYTHMAN
16.95

Hodge Podge Lodge

Priscilla Lamont
7.44

Wrong McElroy

KL HUGHES
14.89
118.60
6.17
40.47

Naukratis I and II, Hawara, Biahmu, and Arsinoe

William Matthew Flinders PetrieErnest A. Gardner
54.69

Report of the Comptroller, Volume 2

New York (N y. ). Comptroller's Office
40.47

Woggle-Bug Book

Lyman Fr. Baum
7.93
193.58

Camileon

Shykia Bell
19.01

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Neuronale Netze

Heinrich Braun
50.27
17.05
18.71
16.65

Subjektivierung 2.0

Tanja Carstensen
42.14

Mein Taschencoach

Susanne Marx
7.05

AMERICA

DAVID MCCULLOUGH
20.87

Terapia logopedyczna

Edyta Joanna Lichota
12.14
12.73