libcats.org
Главная

Static Analysis

Обложка книги Static Analysis

Static Analysis

,
This book constitutes the refereed proceedings of the 9th International Static Analysis Symposium, SAS 2002, held in Madrid, Spain in September 2002. The 32 revised full papers presented were carefully reviewed and selected from 86 submissions. The papers are organized in topical sections on theory, data structure analysis, type inference, analysis of numerical problems, implementation, data flow analysis, compiler optimizations, security analyses, abstract model checking, sematics and abstract verification, and termination analysis.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Станислав Гимадеев. Принцип четности

Автор:
Размер книги: 829 Kb

О физической природе шаровой молнии

Автор:
Категория: science, science, exact
Размер книги: 5.03 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Ширли Джексон. Чарльз

Автор:
Размер книги: 11 Kb

Computing a square root for the number field sieve

Автор:
Размер книги: 37 Kb

Песни

Автор:
Размер книги: 682 Kb

Записки циника

Автор:
Категория: Поэзия
Размер книги: 3 Kb

Alarms and Diversions

Автор:
Размер книги: 11.41 Mb

Asia and Africa in the Global Economy

Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 1.89 Mb

Devil's Desire

Автор:
Размер книги: 1.93 Mb