Książka Static Analysis Radhia Cousot

Static Analysis

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Autor: Radhia Cousot
Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
213.09
This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysi...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2003
strony
510
EAN
9783540403258
ISBN
3540403256
Enbook ID
01562711
Waga
726
Wymiary
155 x 235 x 26

Pełny opis

This book constitutes the refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003.§The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.

Możesz być zainteresowany

636.57
91.40
47.55
87.79
100.39
79.98

Blackboards

Metka Krasovec
77.24

Military Engineer

Guillaume Le Blond
94.63
103.32

Engineering MLOps

Emmanuel Raj
115.92

Yad Vashem

Deena Glickman
377.07
89.36
86.23
200.79

Plant-Animal Communication

H. Martin Schaefer
885.81

Controlling Paris

Jonathan M. House
296.79

Indian Textiles

John Gillow
109.28

Passages to Power

Pippa Norris
198.45
329.02
1 272.08

Klienci, którzy kupili tę książkę, kupili również

Jadrné memento

Bernard Pitrun
51.95

Bohové lžou

Kaori Ozaki
33.59

Wissenstransfer

Andrea Becher
204.60

MUNDOLOGIA

JUAN MANUEL HEREDIA
90.04

We Never Learn 6

TAISHI TSUTSUI
44.62

Zu

Christian Stark
66.79