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 3-6 napon belül
19 944 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 020 Ft

Hodge Podge Lodge

Priscilla Lamont
2 672 Ft
19 020 Ft

Scotch Twins

Lucy Fitch Perkins
4 089 Ft
12 848 Ft
5 765 Ft

Cryptids

GUY BLYTHMAN
7 125 Ft

Wrong McElroy

KL HUGHES
5 057 Ft
42 695 Ft
2 600 Ft
14 615 Ft

Chasing Grace

David Temple
5 765 Ft

The Kindness Seeds

Amanda Johnston
5 057 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 758 Ft
6 345 Ft
4 841 Ft
5 579 Ft

Mein Taschencoach

Susanne Marx
2 806 Ft

Dějiny lidí

Martin Rychlík
15 089 Ft

Sentieri sotto la neve

Mario Rigoni Stern
4 468 Ft
2 658 Ft
76 445 Ft

Terapia logopedyczna

Edyta Joanna Lichota
4 856 Ft

Subjektivierung 2.0

Tanja Carstensen
16 506 Ft
85 323 Ft

Die Schrammelgeigen

Philharmonia Schrammeln Wien
8 701 Ft

Uso escolar Aula de gramática B1 Učebnice

Palomino Brell María Ángeles
5 622 Ft