Könyv Static Analysis Radhia Cousot

Static Analysis

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 14-21 napon belül
21 969 Ft
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysi...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2010
oldal
473
EAN
9783642157684
ISBN
3642157688
Enbook ID
01656632
Súly
727
Méretek
157 x 235 x 28

Teljes leírás

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.

Érdekelheti

Business Process Management

Wil M.P. van der Aalst
19 639 Ft

Hodge Podge Lodge

Priscilla Lamont
2 864 Ft
19 639 Ft

Scotch Twins

Lucy Fitch Perkins
4 004 Ft
13 710 Ft
5 628 Ft

Cryptids

GUY BLYTHMAN
6 955 Ft

Urban Sediment Removal

Robert Brinkmann
41 147 Ft

Wrong McElroy

KL HUGHES
6 221 Ft
42 826 Ft
2 545 Ft
16 587 Ft

Naukratis I and II, Hawara, Biahmu, and Arsinoe

William Matthew Flinders PetrieErnest A. Gardner
20 738 Ft

Handbook of Plastics Joining

Michael J. Troughton
89 030 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Neuronale Netze

Heinrich Braun
19 771 Ft
5 956 Ft
6 727 Ft

Mein Taschencoach

Susanne Marx
2 805 Ft

Subjektivierung 2.0

Tanja Carstensen
16 533 Ft
22 142 Ft
5 509 Ft

AMERICA

DAVID MCCULLOUGH
6 782 Ft

Terapia logopedyczna

Edyta Joanna Lichota
4 397 Ft
5 003 Ft